© 2000 Todd Neller.
A.I.M.A. t
ext
figures
© 1995 Prentice Hall.
Used by
permission.
First-Order Logic
•
Atomic sentences
- more complex than
propositions
•
Boolean functions (
Ø
,
Ù
,
Ú
,
Þ
,
Û
)
- make
compound sentences
•
Quantifiers
(
"
,
$
)
- tell us
first-order
facts
which correspond to sets of sentences
•
Parentheses
