How to Learn Natural Deduction Inference Rules: Biconditional Introduction and Disjunction Elimination: Workbooklet 3.5 (Logic Self-Taught Workbooklets)
Format:
Paperback
En stock
0.24 kg
Sí
Nuevo
Amazon
USA
- Workbooklet 3.5 introduces two inference rules: Biconditional Introduction and Disjunction Elimination. Both rules require the set-up of two “sister” subderivations. The application of each rule is explained step by step. Common errors are identified. For each inference rule, there are numerous exercises on the application of the rule as well as on its use in proofs. The difficulty of the proof exercises increases gradually from so-called baby proof exercises to actual proof exercises. Extra exercises provide an opportunity for more training. Solutions to all exercises are included. Prerequisites: Workbooklet 3.5 contains Unit 3.5 from Workbook 3 Extra Full Edition. You need to be able to carry out natural deduction proofs with seven inference rules: Conjunction Introduction (known also as “Conjunction”), Conjunction Elimination (“Simplification”), Disjunction Introduction (“Addition”), Conditional Introduction (“Conditional Proof”), Conditional Elimination (“Modus Ponens”), Biconditional Elimination, Reiteration. You can develop these skills by completing Workbooklets 3.1-3.3 or Units 3.1-3.4 in Workbook 3. 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.
IMPORT EASILY
By purchasing this product you can deduct VAT with your RUT number