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 103 pages are in this category, out of 103 total.
A
B
- Biconditional as Disjunction of Conjunctions/Formulation 1/Proof
- Biconditional as Disjunction of Conjunctions/Formulation 2/Proof by Truth Table
- Biconditional Elimination/Sequent Form/Proof by Truth Table
- 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 by Truth Table
- Biconditional is Reflexive/Proof 2
- Biconditional is Self-Inverse
- Biconditional is Transitive/Formulation 1
- Biconditional is Transitive/Formulation 1/Proof 2
C
- Clavius's Law/Formulation 2/Proof by Truth Table
- Conditional is Equivalent to Negation of Conjunction with Negative/Formulation 1/Proof by Truth Table
- Conditional is Equivalent to Negation of Conjunction with Negative/Formulation 2/Proof by Truth Table
- Conditional is Left Distributive over Conjunction/Formulation 1/Proof by Truth Table
- Conditional is Left Distributive over Conjunction/Formulation 2/Proof by Truth Table
- Conditional is not Right Self-Distributive/Formulation 1
- Conjunction is Equivalent to Negation of Conditional of Negative/Formulation 1/Proof by Truth Table
- Conjunction is Equivalent to Negation of Conditional of Negative/Formulation 2/Proof by Truth Table
- Constructive Dilemma/Formulation 1/Proof by Truth Table
D
- De Morgan's Laws (Logic)/Conjunction of Negations/Formulation 1/Proof by Truth Table
- De Morgan's Laws (Logic)/Conjunction/Formulation 1/Proof by Truth Table
- De Morgan's Laws (Logic)/Conjunction/Formulation 2/Proof by Truth Table
- De Morgan's Laws (Logic)/Disjunction of Negations/Formulation 1/Proof by Truth Table
- De Morgan's Laws (Logic)/Disjunction of Negations/Formulation 2/Proof by Truth Table
- De Morgan's Laws (Logic)/Disjunction/Formulation 1/Proof by Truth Table
- De Morgan's Laws (Logic)/Disjunction/Formulation 2/Proof by Truth Table
- Double Negation/Formulation 1/Proof 2
E
H
L
M
- Modus Ponendo Ponens/Sequent Form/Proof by Truth Table
- Modus Ponendo Ponens/Variant 1/Proof by Truth Table
- Modus Ponendo Ponens/Variant 2/Proof 2
- Modus Ponendo Ponens/Variant 3/Proof by Truth Table
- Modus Ponendo Tollens/Variant/Formulation 1/Proof
- Modus Tollendo Ponens/Sequent Form/Case 1/Proof by Truth Table
- Modus Tollendo Ponens/Variant/Formulation 1/Proof by Truth Table
- Modus Tollendo Ponens/Variant/Formulation 2/Proof by Truth Table
- Modus Tollendo Tollens/Sequent Form/Proof by Truth Table
N
- NAND as Disjunction of Negations/Proof by Truth Table
- NAND with Equal Arguments/Proof by Truth Table
- Non-Equivalence as Conjunction of Disjunction with Disjunction of Negations/Proof by Truth Table
- Non-Equivalence as Conjunction of Disjunction with Negation of Conjunction/Proof by Truth Table
- Non-Equivalence as Disjunction of Conjunctions/Formulation 1/Proof 2
- Non-Equivalence as Disjunction of Negated Conditionals/Proof by Truth Table
- Non-Equivalence as Equivalence with Negation/Formulation 1/Proof by Truth Table
P
- Peirce's Law/Formulation 2/Proof by Truth Table
- Peirce's Law/Strong Form/Formulation 1
- Praeclarum Theorema/Formulation 1/Proof by Truth Table
- 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 by Truth Table
- Proof by Cases/Sequent Form/Proof 2
R
- Reductio ad Absurdum/Variant 1/Proof by Truth Table
- Reductio ad Absurdum/Variant 2/Proof by Truth Table
- Rule of Addition/Sequent Form/Formulation 1/Form 1/Proof by Truth Table
- Rule of Addition/Sequent Form/Formulation 1/Form 2/Proof by Truth Table
- Rule of Addition/Sequent Form/Formulation 2/Proof by Truth Table
- Rule of Addition/Sequent Form/Proof by Truth Table
- Rule of Association/Conjunction/Formulation 1/Proof 2
- Rule of Association/Disjunction/Formulation 1/Proof by Truth Table
- Rule of Commutation/Conjunction/Formulation 1/Proof by Truth Table
- Rule of Commutation/Disjunction/Formulation 1/Proof 2
- Rule of Commutation/Disjunction/Formulation 2/Proof by Truth Table
- Rule of Conjunction/Sequent Form/Formulation 1/Proof by Truth Table
- Rule of Distribution/Conjunction Distributes over Disjunction/Left Distributive/Formulation 1/Proof by Truth Table
- Rule of Distribution/Conjunction Distributes over Disjunction/Right Distributive/Formulation 1/Proof by Truth Table
- Rule of Distribution/Disjunction Distributes over Conjunction/Left Distributive/Formulation 1/Proof by Truth Table
- Rule of Distribution/Disjunction Distributes over Conjunction/Right Distributive/Formulation 1/Proof
- Rule of Exportation/Formulation 1/Proof by Truth Table
- Rule of Exportation/Forward Implication/Formulation 2/Proof 2
- Rule of Exportation/Reverse Implication/Formulation 2/Proof by Truth Table
- Rule of Idempotence/Conjunction/Formulation 1/Proof
- Rule of Idempotence/Disjunction/Formulation 1/Proof by Truth Table
- Rule of Implication/Sequent Form/Proof by Truth Table
- Rule of Material Equivalence/Formulation 1/Proof by Truth Table
- Rule of Material Equivalence/Formulation 2/Proof by Truth Table
- Rule of Material Implication/Formulation 1/Proof by Truth Table
- Rule of Material Implication/Formulation 2/Proof by Truth Table
- Rule of Simplification/Sequent Form/Formulation 1/Form 1/Proof by Truth Table
- Rule of Simplification/Sequent Form/Formulation 1/Form 2/Proof by Truth Table
- Rule of Simplification/Sequent Form/Formulation 1/Proof
- Rule of Simplification/Sequent Form/Formulation 2/Proof 2
- Rule of Transposition/Formulation 1/Proof by Truth Table
- Rule of Transposition/Formulation 2/Proof by Truth Table
- Rule of Transposition/Variant 1/Formulation 1/Proof 2
- Rule of Transposition/Variant 2/Formulation 1/Proof by Truth Table