Exercise-ch2: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
No edit summary
 
(7 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 =


== The syntax of predicate logic ==
== First order models ==


<!-- &forall; &exist; &and; &or; &sub; &sup; &not; -->
Follow the [[Exercise_First_Order_Models|link]].
 
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'''
 
=== Formulae without variables ===
 
<quiz display="simple">
{Click on the items that are well-formed expressions of the semantic representation language.
}
+ '''gandalf'''
+ '''hobbit'''
- '''sauron'''
|| The name '''sauron''' is not included in the non-logical vocabulary.
- '''frodo''' &and; '''gandalf'''
|| The connectors "&and;" and "&or;" can only be used to combine two formulae.
- &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.
+ '''help'''('''aragorn''','''frodo''')


== The syntax of predicate logic ==


{Click on the expressions that are well-formed formulae.
Follow the [[Exercise_Syntax_of_Predicate_Logic|link]] to get to a set of exercises on the syntax of predicate logic.
}
- '''hobbit'''
- '''frodo'''
+ '''hobbit'''('''aragorn''')
+ &forall;''x'' ('''hobbit'''(''x'') &sup; x = '''gandalf''')
+ &exist;''y''('''hobbit'''(''x'') &or; '''wizard'''(''gandalf''))
|| Note: The variable bound by the quantifier, ''y'', need not occur in the scope of the quantifier.


</quiz>
== The semantics of predicate logic ==


=== Formulae with variables ===
Follow the [[Exercise_Semantics_of_Predicate_Logic|link]]


<quiz display="simple">
Go to exercises for [[Exercise_Truth_Tables|truth tables]].
{Click on the items that are well-formed expressions of the semantic representation language.
}
+ ''y''
- ''x'' &and; '''frodo'''
- &exist;''x''
|| A quantifier, "&forall;" or "&exist;", can only be used with a variable and a formula. For example: &exist;''x''('''hobbit'''(''x''))


== Summarizing exercise sheet for Chapter 2 ==


{Click on the expressions that are well-formed formulae.
The [[Assignmentsheet Logic Summer Term 2013|exercise sheet]] was used in the class ''Introduction to Semantics'', Goethe University Frankfurt, summer term 2013.
}
+ &forall;''x'' ('''hobbit'''(''x'') &sup; x = '''gandalf''')
+ &exist;''y''('''hobbit'''(''x'') &or; '''wizard'''(''gandalf''))
|| Note: The variable bound by the quantifier, ''y'', need not occur in the scope of the quantifier.


</quiz>
<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"