Workbooklet 1.4 introduces two equivalent symbolizations of “neither… nor…” and “not both… and…” phrases through numerous exercises whose difficulty increases gradually. De Morgan laws are explained on intuitive examples. In addition, the symbolization of “all”, “some”, “not all” and “none” (limited to finite groups of individuals) is explained. Workbooklet 1.4 presupposes the knowledge of the five connectives as well as basic symbolization skills. In particular, readers must already be able to construct a symbolization key, spot the main connective in English sentences, recognize negations, conjunctions, disjunctions, conditionals and biconditionals in English.
Logic Self-Taught Workbooklets is a daughter series of Logic Self-Taught Workbooks designed for self-teaching logic. Each Workbooklet contains only one unit (from a Workbook) together with the solutions to the exercises. Workbooklets are directed to those students who have only specific problems or to those who want to train only specific skills. Unlike Workbooks, Workbooklets are not self-contained. They presuppose that students have mastered prerequisite skills.
Logic Self-Taught Workbooks is a series of workbooks designed for self-teaching logic. It is directed to students who have problems with logic courses and to those who want to study logic on their own. It can be used for teaching on-line.
The workbooks are based on two basic insights. First, studying logic at an introductory level is about developing basic logical skills. It is more like learning how to swim, which is not readily taught in a lecture room. Second, in order to develop the skills, students need to actively teach themselves. The workbooks are designed to help in that process. They are more like personal trainers than textbooks. There are numerous worked-out examples. Common errors are pointed out. The key element are the exercises. Their graphical layout makes it possible to write answers directly in the workbooks. The difficulty of the exercises increases gradually. The point is to train “logic muscles” until they become strong enough to carry “heavy-weight” content. Solutions to all exercises are included at the end of each workbook so that students can check whether they have mastered the skills.