Exercise-ch2: Difference between revisions
Jump to navigation
Jump to search
Line 1: | Line 1: | ||
= Additional Exercises for Chapter 2: Predicate Logic = | = Additional Exercises for Chapter 2: Predicate Logic = | ||
== First order models == | |||
Follow the [[Exercis_First_Order_Models|link]]. | |||
== The syntax of predicate logic == | == The syntax of predicate logic == | ||
Line 5: | Line 9: | ||
Follow the [[Exercise_Syntax_of_Predicate_Logic|link]] to get to a set of exercises on 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]] | |||
<hr /> | <hr /> |
Revision as of 10:00, 5 April 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
Back to
- the material for chapter 2
- the overview over all chapters