Latest revision as of 19:12, 28 June 2013

Additional Exercises for Chapter 2: Predicate Logic

Follow the link.

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

Follow the link

Go to exercises for truth tables.

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

Back to

@@ Line 1: / Line 1: @@
 = Additional Exercises for Chapter 2: Predicate Logic =
-== Formulae ==
+== 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.
+== 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.
-Predicates: '''hobbit
-<quiz>
+== The semantics of predicate logic ==
-{Klick on the expressions that are well-formed formulae.
-| type="()"}
-- '''hobbit'''
-+ &forall; ''x'' ('''hobbit'''(''x'') &sup; x = '''gandalf''')
-</quiz>
+Follow the [[Exercise_Semantics_of_Predicate_Logic|link]]
+Go to exercises for [[Exercise_Truth_Tables|truth tables]].
+== Summarizing exercise sheet for Chapter 2 ==
+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]]