|
|
|
| Atomic Sentences: Putting |
||
| Symbols Together |
||
|
|
|
|
|
|
|
|
|
| • | 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... |
||||||||
