Exercise-ch2: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
No edit summary
 
(18 intermediate revisions by the same user not shown)
Line 1: Line 1:
= Additional Exercises for Chapter 2: Predicate Logic =
= Additional Exercises for Chapter 2: Predicate Logic =


== Formulae ==
== First order models ==


∀ ∃ ∧ ∨ ⊂ ⊃ ¬
Follow the [[Exercise_First_Order_Models|link]].


For the following exercises we use names and properties from the ''The Lord of the Rings'' novels.
== The syntax of predicate logic ==


Names: '''frodo''', '''sam''', '''gandalf''', '''aragorn'''<br />
Follow the [[Exercise_Syntax_of_Predicate_Logic|link]] to get to a set of exercises on the syntax of predicate logic.
1-place predicates: '''hobbit'''<br />
2-place predicates: '''know''', '''help'''


<quiz points="1/1">
== The semantics of predicate logic ==
{Click on the items that are well-formed expressions of the semantic representation language.}
+ '''gandalf'''
+ '''hobbit'''
- &exist; ''x''
|| A quantifier, &forall; or &exist;, can only be used with a variable and a formula. For example: &exist;''x''('''hobbit'''(''x''))
- '''know'''('''gandalf''')
|| '''know''' is a 2-place predicate. Therefore it must combine with two arguments.


Follow the [[Exercise_Semantics_of_Predicate_Logic|link]]


Go to exercises for [[Exercise_Truth_Tables|truth tables]].


{Click on the expressions that are well-formed formulae.}
== Summarizing exercise sheet for Chapter 2 ==
- '''hobbit'''
- '''frodo'''
+ '''hobbit'''('''aragorn''')
- '''frodo''' &and; '''gandalf'''
+ &forall;''x'' ('''hobbit'''(''x'') &sup; x = '''gandalf''')


</quiz>
The [[Assignmentsheet Logic Summer Term 2013|exercise sheet]] was used in the class ''Introduction to Semantics'', Goethe University Frankfurt, summer term 2013.
 
<hr />
Back to
* the material for [[Textbook-chapters#Chapter_2:_Predicate_logic|chapter 2]]
* the overview over [[Textbook-chapters|all chapters]]

Latest revision as of 19:12, 28 June 2013

Additional Exercises for Chapter 2: Predicate Logic

First order models

Follow the link.

The syntax of predicate logic

Follow the link to get to a set of exercises on the syntax of predicate logic.

The semantics of predicate logic

Follow the link

Go to exercises for truth tables.

Summarizing exercise sheet for Chapter 2

The exercise sheet was used in the class Introduction to Semantics, Goethe University Frankfurt, summer term 2013.

Back to

Retrieved from "http:///wiki/index.php?title=Exercise-ch2&oldid=4716"