Logic

Logic Self-Taught has a new fuller edition available from Amazon:

Workbook 1: Basic Concepts and Symbolization in Propositional Logic (2022)
Workbook 2: The Truth-Table Method (2022)
Workbook 3: Natural Deduction in Propositional Logic (2022) Thin Edition, Full Edition, Extra Full Edition
Workbook 4: Basic Concepts and Symbolization in Predicate Logic (2022)

Planned:
Workbook 5: Natural Deduction in Predicate Logic
Workbook 6: Basic Concepts and Symbolization in Quantifier Logic
Workbook 7: Natural Deduction in Quantifier Logic

xWorkbooksC_sm.png

Logic Self-Taught: A Workbook

© Katarzyna Paprzycka

e-mail: lp.ude.wu|akcyzrpapk#lp.ude.wu|akcyzrpapk

Introduction: Why Learning Logic is like Learning to Swim
1. Basic Logical Concepts Solutions

Part I. Propositional Logic

2. The Basics of Propositional Logic Solutions Scanned pp. 9-10
3. Symbolizations Solutions
4. Calculating Truth-Values of Complex Propositions (I) Solutions
5. Calculating Truth-Values of Complex Propositions (II) Solutions
6. Tautologies, Contradictions and Contingencies (Summary) Solutions
7. Validity and Invalidity (Truth tables for Ex. Validity-2, Ex. Validity-3) Solutions
9. Substitution Instances Solutions
10. Formal Proofs of Validity (I) Solutions
11. Formal Proofs of Validity (II) Solutions
12. Formal Proofs of Validity (III) Solutions
13. Formal Proofs of Validity (IV) Solutions

Part II. Predicate Logic

14. Predicate Logic: Singular and Quantified Propositions Solutions
15. Negated Quantifier Equivalences Solutions
16. Categorical Propositions Solutions
17. Negated Categorical Propositions Solutions

Part II. Logic of Relations

20. Logic of Relations Exercises Solutions
Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License