Exercise-ch2: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
|||
(26 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 = | ||
== | == First order models == | ||
Follow the [[Exercise_First_Order_Models|link]]. | |||
== The syntax of predicate logic == | |||
Follow the [[Exercise_Syntax_of_Predicate_Logic|link]] to get to a set of exercises on the syntax of predicate logic. | |||
== The semantics of predicate logic == | |||
</ | 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]] |
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
- the material for chapter 2
- the overview over all chapters