First-Order Predicate Logic
- 237 Downloads
We turn now to the construction of a formal language L1, which adds individual variables and quantifiers over these variables to the syntactic apparatus of the language L0. In fact, this language L1 contains L0, in the sense that all the sentences of L0 will also be sentences of L1 (but not conversely), and these sentences of L0 will have to be interpreted just as before. As these new individual variables (for which we will use the symbols v1, v2, v3,…) behave syntactically just like individual constants, we will introduce the new syntactic category of individual terms (or simply terms) to include both variables and constants.
KeywordsTruth Condition Noun Phrase Free Variable Predicate Logic English Sentence
Unable to display preview. Download preview PDF.