Abstract
This chapter illustrates the formulation of the language of first-order logic (FOL) that is denoted as a kind of formal system used in computer science. In FOL, two sorts of symbols are used: the logical ones and the nonlogical ones. The logical symbols are those that have a fixed meaning or use in the language. Three sorts of logical symbols are used in FOL. The nonlogical symbols are those that have an application-dependent meaning or use. There are two sorts of nonlogical symbols used in FOL. One distinguishing feature of nonlogical symbols is that each one is assumed to have an arity, that is, a nonnegative integer indicating how many arguments it takes. (This number is used in syntax of the language.) The chapter indicates two types of legal syntactic expressions in FOL including terms and formulas in which term is used to refer something in the world, and a formula is used to express a proposition.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
