Exercise-ch2: Difference between revisions
Jump to navigation
Jump to search
Line 3: | Line 3: | ||
== Formulae == | == Formulae == | ||
∀ ∃ ∧ ∨ ⊂ ¬ | ∀ ∃ ∧ ∨ ⊂ ⊃ ¬ | ||
For the following exercises we use names and properties from the ''The Lord of the Rings'' novels. | For the following exercises we use names and properties from the ''The Lord of the Rings'' novels. |
Revision as of 18:00, 15 March 2013
Additional Exercises for Chapter 2: Predicate Logic
Formulae
∀ ∃ ∧ ∨ ⊂ ⊃ ¬
For the following exercises we use names and properties from the The Lord of the Rings novels.
Names: frodo, sam, gandalf, aragorn
Predicates: hobbit