baruchlogic-textbook v1.0.9

baruchlogic - A Common Sense Introduction to Logic

This is the textbook for the baruchlogic course in symbolic logic. The text is divided into three units:

Introduction

Unit 1: Informal Logic & Logical Concepts

1. Introduction to Logic

2. Validity, Soundness, Strength, Cogency

3. Logical Fallacies

Unit 2: Symbolic Logic & Truth Tables

1. Symbolic Logic Notation

2. Truth Tables and Truth Functions

3. Truth Tables and Validity

Unit 3: Natural Deduction

1. What is Natural Deduction?

2. Rules for Natural Deduction: Rules of Implication

3. Rules for Natural Deduction: Rules of Replacement

4. Advanced Proof Techniques

If you would like to contribute to this text, or if you notice any errors, feel free to submit an issue, or create a Pull Request. If you do not have a Github account, you may contact the administrators at baruchlogic@gmail.com instead.

This text is licensed under Creative Commons CC BY-SA 3.0 USA.