Exercise-ch2: Difference between revisions
Jump to navigation
Jump to search
Line 12: | Line 12: | ||
Follow the [[Exercise_Semantics_of_Predicate_Logic|link]] | Follow the [[Exercise_Semantics_of_Predicate_Logic|link]] | ||
Go to exercises for [[Exercise_Truth_Tables|truth tables]]. | |||
<hr /> | <hr /> |
Revision as of 20:10, 16 May 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.
Back to
- the material for chapter 2
- the overview over all chapters