| First-order
logic |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| n | Whereas
propositional logic assumes |
||||||||||||
| the world
contains facts, |
|||||||||||||
| n | first-order
logic (like natural language) |
||||||||||||
| assumes the world
contains |
|||||||||||||
| ¡ | Objects: people, houses, numbers, |
||||||||||||
| colors, baseball
games, wars, … |
|||||||||||||
| ¡ | Relations: red, round, prime, brother of, |
||||||||||||
| bigger than, part
of, comes between, … |
|||||||||||||
| ¡ | Functions: father of, best friend, one |
||||||||||||
| more than, plus,
… |
|||||||||||||
