2.1 Terms, Predicates
First order logic extends propositional logic by introducing internal structure inside statements, so that instead of treating statements as atomic objects, we can describe objects, properties of objects, and relations between objects in a precise formal language. Symbols and Signatures To define the language, we begin with a collection of symbols that describe the kinds of objects and operations that are allowed, and this collection is called a signature. A...