Exercise Syntax of Predicate Logic: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
(Created page with " <!-- ∀ ∃ ∧ ∨ ⊂ ⊃ ¬ --> For the following exercises we use names and properties from the ''The Lord of the Rings'' novels. Names: '''frodo'''...")
 
No edit summary
Line 1: Line 1:


<!-- &forall; &exist; &and; &or; &sub; &sup; &not; -->
<!-- &forall; &exist; &and; &or; &sub; &sup; &not; -->
=== Formulae without variables ===


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.
Line 7: Line 11:
1-place predicates: '''hobbit''', '''wizard'''<br />
1-place predicates: '''hobbit''', '''wizard'''<br />
2-place predicates: '''know''', '''help'''
2-place predicates: '''know''', '''help'''
=== Formulae without variables ===


<quiz display="simple">
<quiz display="simple">
Line 35: Line 37:


=== Formulae with variables ===
=== Formulae with variables ===
For the following exercises we use names and properties from the ''The Lord of the Rings'' novels.
Names: '''frodo''', '''sam''', '''gandalf''', '''aragorn'''<br />
1-place predicates: '''hobbit''', '''wizard'''<br />
2-place predicates: '''know''', '''help'''


<quiz display="simple">
<quiz display="simple">

Revision as of 18:06, 5 April 2013



Formulae without variables

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

1 Click on the items that are well-formed expressions of the semantic representation language.

gandalf
hobbit
sauron
frodo ∧ gandalf
know(gandalf)
help(aragorn,frodo)

2 Click on the expressions that are well-formed formulae.

hobbit
frodo
hobbit(aragorn)
hobbit(frodo) ∧ wizard(gandalf)
hobbit(frodo) ¬ wizard(sam)


Formulae with variables

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

1 Click on the items that are well-formed expressions of the semantic representation language.

y
x ∧ frodo
∃x

2 Click on the expressions that are well-formed formulae.

∀x (hobbit(x) ⊃ x = gandalf)
∃y(hobbit(x) ∨ wizard(gandalf))


Back to

Retrieved from "http:///wiki/index.php?title=Exercise_Syntax_of_Predicate_Logic&oldid=4343"