Unit 8

Click "Start Prezi" below to begin the tutorial. Use the arrows (or the arrow keys) to click through the steps of the tutorial. You may wish to click the "full screen" option in the lower right to get a better view. Once you have completed the tutorial, click the Exercise button below to test your knowledge.


Problem Set 8

Problems open in a new window.

Practice 8.1: Models for Predicate Logic

Practice 8.2: Models for Predicate Logic: Diagrams

Practice 8.3: Constructing Models for Monadic Predicate Logic

Practice 8.4: Constructing Models for Polyadic Predicate Logic