•terms - variables, objects, functions of terms
•atomic sentence - relationship between terms
•Under a given interpretation,
an atomic sentence is true or false
•compound (or
complex) sentences are built of atomic sentences, Boolean functions (negation, connectives), and...
