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. | |||
Names: '''frodo''', '''sam''', '''gandalf''', '''aragorn'''<br /> | |||
Predicates: '''hobbit | |||
<quiz> | <quiz> |
Revision as of 17:59, 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