# Category:Truth Table Proofs

Jump to navigation
Jump to search

This category contains proofs by truth table for theorems of propositional logic.

## Pages in category "Truth Table Proofs"

The following 100 pages are in this category, out of 100 total.

### A

### B

- Biconditional as Disjunction of Conjunctions/Formulation 1/Proof
- Biconditional as Disjunction of Conjunctions/Formulation 2/Proof 2
- Biconditional Elimination/Sequent Form/Proof 2
- Biconditional Equivalent to Biconditional of Negations/Formulation 1
- Biconditional iff Disjunction implies Conjunction/Formulation 1/Proof
- Biconditional Introduction/Sequent Form/Proof 2
- Biconditional is Commutative/Formulation 1/Proof 3
- Biconditional is Reflexive/Proof 2
- Biconditional is Transitive/Formulation 1
- Biconditional is Transitive/Formulation 1/Proof 2

### C

- Clavius's Law/Formulation 2/Proof 3
- Conditional is not Left Self-Distributive/Formulation 1
- Conjunction Equivalent to Negation of Implication of Negative/Formulation 1/Proof
- Conjunction Equivalent to Negation of Implication of Negative/Formulation 2/Proof 2
- Constructive Dilemma/Formulation 1/Proof 2

### D

- De Morgan's Laws (Logic)/Conjunction of Negations/Formulation 1/Proof
- De Morgan's Laws (Logic)/Conjunction/Formulation 1/Proof
- De Morgan's Laws (Logic)/Conjunction/Formulation 2/Proof 2
- De Morgan's Laws (Logic)/Disjunction of Negations/Formulation 1/Proof
- De Morgan's Laws (Logic)/Disjunction of Negations/Formulation 2/Proof 2
- De Morgan's Laws (Logic)/Disjunction/Formulation 1/Proof
- De Morgan's Laws (Logic)/Disjunction/Formulation 2/Proof 2
- Double Negation/Formulation 1/Proof 2

### E

### I

- Implication Equivalent to Negation of Conjunction with Negative/Formulation 1/Proof
- Implication Equivalent to Negation of Conjunction with Negative/Formulation 2/Proof 2
- Implication is Left Distributive over Conjunction/Formulation 1/Proof 2
- Implication is Left Distributive over Conjunction/Formulation 2/Proof 2

### M

- Modus Ponendo Ponens/Sequent Form/Proof 2
- Modus Ponendo Ponens/Variant 1/Proof 2
- Modus Ponendo Ponens/Variant 2/Proof 2
- Modus Ponendo Ponens/Variant 3/Proof 2
- Modus Ponendo Tollens/Variant/Formulation 1/Proof
- Modus Tollendo Ponens/Sequent Form/Case 1/Proof 2
- Modus Tollendo Ponens/Variant/Formulation 1/Proof
- Modus Tollendo Ponens/Variant/Formulation 2/Proof 2
- Modus Tollendo Tollens/Sequent Form/Proof 3

### N

- NAND as Disjunction of Negations/Proof 2
- NAND with Equal Arguments/Proof 2
- Non-Equivalence as Conjunction of Disjunction with Disjunction of Negations/Proof 2
- Non-Equivalence as Conjunction of Disjunction with Negation of Conjunction/Proof 2
- Non-Equivalence as Disjunction of Conjunctions/Formulation 1/Proof 2
- Non-Equivalence as Disjunction of Negated Implications/Proof 2
- Non-Equivalence as Equivalence with Negation/Formulation 1/Proof 2

### P

- Peirce's Law/Formulation 2/Proof 2
- Peirce's Law/Strong Form/Formulation 1
- Praeclarum Theorema/Formulation 1/Proof 2
- Principle of Commutation/Formulation 1/Proof 2
- Principle of Dilemma/Formulation 1/Proof
- Principle of Non-Contradiction/Sequent Form/Formulation 1/Proof 2
- Principle of Non-Contradiction/Sequent Form/Formulation 2/Proof 2
- Proof by Cases/Formulation 1/Proof
- Proof by Cases/Formulation 2/Forward Implication/Proof 2
- Proof by Cases/Sequent Form/Proof 2

### R

- Reductio ad Absurdum/Variant 1/Proof 2
- Reductio ad Absurdum/Variant 2/Proof 2
- Rule of Addition/Sequent Form/Formulation 1/Form 1/Proof 2
- Rule of Addition/Sequent Form/Formulation 1/Form 2/Proof 2
- Rule of Addition/Sequent Form/Formulation 2/Proof 2
- Rule of Addition/Sequent Form/Proof 2
- Rule of Association/Conjunction/Formulation 1/Proof 2
- Rule of Association/Disjunction/Formulation 1/Proof 2
- Rule of Commutation/Conjunction/Formulation 1/Proof 2
- Rule of Commutation/Disjunction/Formulation 1/Proof 2
- Rule of Commutation/Disjunction/Formulation 2/Proof 2
- Rule of Conjunction/Sequent Form/Formulation 1/Proof 2
- Rule of Distribution/Conjunction Distributes over Disjunction/Left Distributive/Formulation 1/Proof
- Rule of Distribution/Disjunction Distributes over Conjunction/Left Distributive/Formulation 1/Proof
- Rule of Distribution/Disjunction Distributes over Conjunction/Right Distributive/Formulation 1/Proof
- Rule of Exportation/Formulation 1/Proof 2
- Rule of Exportation/Forward Implication/Formulation 2/Proof 2
- Rule of Exportation/Reverse Implication/Formulation 2/Proof 2
- Rule of Idempotence/Conjunction/Formulation 1/Proof
- Rule of Idempotence/Disjunction/Formulation 1/Proof
- Rule of Implication/Sequent Form/Proof 2
- Rule of Material Equivalence/Formulation 2/Proof 2
- Rule of Material Implication/Formulation 1/Proof
- Rule of Material Implication/Formulation 2/Proof 2
- Rule of Simplification/Sequent Form/Formulation 1/Form 1/Proof 2
- Rule of Simplification/Sequent Form/Formulation 1/Form 2/Proof 2
- Rule of Simplification/Sequent Form/Formulation 1/Proof
- Rule of Simplification/Sequent Form/Formulation 2/Proof 2
- Rule of Transposition/Formulation 1/Proof 2
- Rule of Transposition/Formulation 2/Proof 2
- Rule of Transposition/Variant 1/Formulation 1/Proof 2
- Rule of Transposition/Variant 2/Formulation 1/Proof 2