Exercise Syntax of Predicate Logic: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
No edit summary
No edit summary
Line 1: Line 1:
<!-- &forall; &exist; &and; &or; &sub; &sup; &not; -->
<!-- &forall; &exist; &and; &or; &sub; &sup; &not; -->
=== Formulae without variables ===
=== Formulae without variables ===


Line 35: Line 31:
|| "&not;" combines with '''one''' formula only, not with two.
|| "&not;" combines with '''one''' formula only, not with two.
</quiz>
</quiz>
<hr />
{{CreatedByStudents1213}}<br />''Involved participants: [[User:Lisa| Lisa]], [[User:Marthe| Marthe]], [[User:Elisabeth.krall| Elisabeth]], and [[User:IsaB|Isabelle]].''
'''2.'''
'''a)''' Which of the following expressions of predicate logic are formulae? Give an explanation for your decision. If the expression is not a formula try to change it into one. To check your answers click on single expressions.
'''* [[AnswerEX2-a1|family dog]]'''
'''* [[AnswerEX2-a2|blonde(Alice,Paul)]]'''
'''* [[AnswerEX2-a3|father-of-someone(Alice,Lisa)]]'''
'''* [[AnswerEX2-a4|tall(Alice)]]'''
'''* [[AnswerEX2-a5|enjoy-watching-football-together]]'''
For a general explanation of formulae [[General_Explanation_Formulae|Click here]]


=== Formulae with variables ===
=== Formulae with variables ===

Revision as of 18:08, 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)


The following material is an adapted form of material created by student participants of the project e-Learning Resources for Semantics (e-LRS).
Involved participants: Lisa, Marthe, Elisabeth, and Isabelle.


2. a) Which of the following expressions of predicate logic are formulae? Give an explanation for your decision. If the expression is not a formula try to change it into one. To check your answers click on single expressions.


* family dog

* blonde(Alice,Paul)

* father-of-someone(Alice,Lisa)

* tall(Alice)

* enjoy-watching-football-together


For a general explanation of formulae Click here


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=4344"