Exercise-ch2: Difference between revisions
Jump to navigation
Jump to search
Line 1: | Line 1: | ||
= Additional Exercises for Chapter 2: Predicate Logic = | = Additional Exercises for Chapter 2: Predicate Logic = | ||
== | == The syntax of predicate logic == | ||
<!-- ∀ ∃ ∧ ∨ ⊂ ⊃ ¬ --> | <!-- ∀ ∃ ∧ ∨ ⊂ ⊃ ¬ --> |
Revision as of 20:11, 15 March 2013
Additional Exercises for Chapter 2: Predicate Logic
The syntax of predicate logic
For the following exercises we use names and properties from the The Lord of the Rings novels.
Names: frodo, sam, gandalf, aragorn
1-place predicates: hobbit, wizard
2-place predicates: know, help