Semantics of First-Order Logic

First-order logic is a restricted, formalized language which is particularly suited to the precise expression of ideas. The language has uses in many disciplines including computer science, mathematics, linguistics and artificial intelligence.
We will describe how to write sentences in the language, how to determine when a sentence is true in a particular situation, how to recognize important relationships between sentences, and describe some limitations of the language.