<< Prev | - Up - | Next >> |
In this course, First-order logic is our preferred formalism for representing the meaning of natural language sentences. In the following section we'll review its syntax and semantics. We'll discuss vocabularies, first-order models and first-order languages, merge them to one single complex using what we call the satisfaction definition, define the key logical concepts of validity and logical consequence, and conclude with a short discussion of equality.
<< Prev | - Up - | Next >> |