Unit 10

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 10

Problems open in a new window.

Practice 10.1: Translating from English into Predicate Logic with Identity

Practice 10.2: Models for Predicate Logic with Identity

Practice 10.3: Models for Predicate Logic with Identity: Diagrams

Practice 10.4: Using Tableaux in Predicate Logic with Identity