Logic in Wonderland

The following sections are included:

• Dedication
• Preface
• Acknowledgments
• Contents

The following sections are included:

• Worksheet 1a: Opening Exercise
• Worksheet 1b: The Logical Connective AND
• Worksheet 1c: The Logical Connective AND — Inference Using a Truth Table
• Worksheet 1d: Summary Exercise
• Worksheet 1e: A Comparison Between Your Responses to the Opening and Summary Exercises

The following sections are included:

• Worksheet 2a: Opening Exercise
• Worksheet 2b: The Meaning of “Exception”
• Worksheet 2c: The Logical Connective NOT
• Worksheet 2d: The Logical Connectives NOT and AND — Inference Using a Truth Table
• Worksheet 2e: Summary Exercise
• Worksheet 2f: A Comparison Between Your Responses to the Opening and Summary Exercises

The following sections are included:

• Worksheet 3a: Opening Exercise
• Worksheet 3b: The Logical Connective OR
• Worksheet 3c: The Difference Between Exclusive OR and Inclusive OR
• Worksheet 3d: More on the Difference Between Exclusive OR and Inclusive OR
• Worksheet 3e
• Worksheet 3f: The Logical Connectives OR, AND and NOT — Inference Using a Truth Table
• Worksheet 3g: The Logical Connectives OR, AND and NOT – Drawing Conclusions
• Worksheet 3h: Summary Exercise
• Worksheet 3i: A Comparison Between Your Responses to the Opening and Summary Exercises

The following sections are included:

• Worksheet 4a: Opening Exercise
• Worksheet 4b: Discovering De Morgan’s Laws
• Worksheet 4c: Summary Exercise
• Worksheet 4d: A Comparison Between Your Responses to the Opening and Summary Exercises

The following sections are included:

• Worksheet 5a: Opening Exercise
• Worksheet 5b: The Empty Set
• Worksheet 5c: Sets and the Number of Elements in a Set
• Worksheet 5d: Summary Exercise
• Worksheet 5e: A Comparison Between Your Responses to the Opening and Summary Exercises

The following sections are included:

• Worksheet 6a: Opening Exercise
• Worksheet 6b: Relations and Their Properties
• Worksheet 6c: More on Relations and Their Properties
• Worksheet 6d: Summary Exercise
• Worksheet 6e: A Comparison Between Your Responses to the Opening and Summary Exercises

The following sections are included:

• Worksheet 7a: Opening Exercise
• Worksheet 7b: The Quantifiers ALL and THERE EXISTS
• Worksheet 7c: More on the Quantifiers ALL and THERE EXISTS
• Worksheet 7d: The Quantifiers ALL and ONLY
• Worksheet 7e: A Group Exercise
• Worksheet 7f: Summary Exercise
• Worksheet 7g: A Comparison Between Your Responses to the Opening and Summary Exercises

The following sections are included:

• Worksheet 8a: Opening Exercise
• Worksheet 8b: The Logical Connective ‘IF… THEN…’
• Worksheet 8c: The Logical Connective ‘IF…, THEN…’ — Drawing Conclusions Using Rules of Inference
• Worksheet 8d: The Logical Connective ‘IF…, THEN…’ — The Four-Card Problem
• Worksheet 8e: The Logical Connective ‘IF…, THEN…’ — Negation of the Conditional Statement
• Worksheet 8f: Summary Exercise
• Worksheet 8g: A Comparison Between Your Responses to the Opening and Summary Exercises

The following sections are included:

• Worksheet 9a: Opening Exercise
• Worksheet 9b: Necessary and Sufficient Condition
• Worksheet 9c: Necessary Conditions, Sufficient Conditions and Necessary and Sufficient Conditions
• Worksheet 9d: Necessary Conditions, Sufficient Conditions and Necessary and Sufficient Conditions (Continued)
• Worksheet 9e: Summary Exercise
• Worksheet 9f: A Comparison Between Your Responses to the Opening and Summary Exercises

This chapter is a summary and review of all topics of the course “Introduction to Mathematical Logic” that appear in this book. It includes a table summarizing all truth tables of the logical connectives discussed; a table comparing expression of statements as conditional statements, as statements with quantifiers and as necessary and sufficient conditions; and a table summarizing the various types of inference addressed. The chapter also introduces ten worksheets with exercises intended to allow you to review all the topics presented in the course as an integrated unit.