Exercise-ch2: Difference between revisions
Jump to navigation
Jump to search
Line 13: | Line 13: | ||
{Klick on the expressions that are well-formed formulae.} | {Klick on the expressions that are well-formed formulae.} | ||
- '''hobbit''' | - '''hobbit''' | ||
+ ∀ ''x'' ('''hobbit'''(''x'') ⊃ x = '''gandalf''') | - '''hobbit'''(''x'') | ||
+ ∀''x'' ('''hobbit'''(''x'') ⊃ x = '''gandalf''') | |||
</quiz> | </quiz> |
Revision as of 19:16, 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