Propositional Logic

│

├── Basic Concepts

│ ├── Propositions

│ └── Logical Connectives

│ ├── AND ( ∧ )

│ ├── OR ( ∨ )

│ ├── NOT ( ¬ )

│ ├── IMPLIES ( → )

│ └── IF AND ONLY IF ( ↔ )

│

├── Truth Tables

│ ├── Definition and Purpose

│ └── Constructing Truth Tables

│ ├── For basic connectives

│ └── For complex propositions

│

├── Logical Equivalence

│ ├── Definition

│ ├── Important Equivalences

│ │ ├── De Morgan's Laws

│ │ ├── Distributive Laws

│ │ └── Double Negation

│ └── Proof Techniques

│ ├── Truth tables

│ └── Algebraic manipulation

│

├── Logical Implications

│ ├── Implication and Inference

│ │ ├── Definition of Implication

│ │ └── Examples

│ ├── Contrapositive, Converse, Inverse

│ │ ├── Definitions

│ │ └── Examples

│

├── Rules of Inference

│ ├── Modus Ponens

│ ├── Modus Tollens

│ ├── Hypothetical Syllogism

│ ├── Disjunctive Syllogism

│ ├── Addition

│ ├── Simplification

│ ├── Conjunction

│ └── Resolution

│

├── Direct Proof

├── Indirect Proof

│ ├── Proof by Contradiction

│ └── Proof by Contrapositive

└── Constructing Proofs