Please enable JavaScript.
Coggle requires JavaScript to display documents.
(├── Methods of Proof, Propositional Logic, │, ├── Basic Concepts, │ ├──…
├── Methods of Proof
├── Direct Proof
├── Indirect Proof
│ ├── Proof by Contradiction
│ └── Proof by Contrapositive
└── Constructing Proofs
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
│