Exercise-ch2: Difference between revisions

From Lexical Resource Semantics
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

  

Klick on the expressions that are well-formed formulae.

x (hobbit(x))