Models of First-Order Languages
As we mentioned in the previous chapter, terms and formulas are all symbol strings. To make use of a first-order language, the terms and formulas need to be interpreted as saying something meaningful about a domain. This semantic interpretation gives meaning to the symbol strings and is called a model of the language. In this chapter, we will build a general theory of semantics for first-order languages. The key ideas are as follows
KeywordsObject Language Function Symbol Atomic Formula Logical Formula Predicate Symbol
Unable to display preview. Download preview PDF.