# Category:Tableau Proofs

Jump to navigation
Jump to search
(previous page) (next page)

This category contains pages defining the presentation of the various rules of inference of Natural Deduction as they are to appear in tableau proofs.

## Pages in category "Tableau Proofs"

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

(previous page) (next page)### A

- Absorption Laws (Logic)/Conjunction Absorbs Disjunction/Forward Implication
- Absorption Laws (Logic)/Conjunction Absorbs Disjunction/Reverse Implication
- Absorption Laws (Logic)/Disjunction Absorbs Conjunction/Forward Implication
- Absorption Laws (Logic)/Disjunction Absorbs Conjunction/Reverse Implication
- Addition of Natural Numbers is Provable
- Addition of Natural Numbers is Provable/General Form

### B

- Biconditional as Disjunction of Conjunctions/Formulation 1/Forward Implication
- Biconditional as Disjunction of Conjunctions/Formulation 1/Reverse Implication
- Biconditional as Disjunction of Conjunctions/Formulation 2
- Biconditional as Disjunction of Conjunctions/Formulation 2/Proof 1
- Biconditional Elimination/Proof Rule/Tableau Form
- Biconditional Elimination/Sequent Form
- Biconditional Elimination/Sequent Form/Proof 1
- Biconditional Elimination/Sequent Form/Proof 1/Form 1
- Biconditional Elimination/Sequent Form/Proof 1/Form 2
- Biconditional Equivalent to Biconditional of Negations/Formulation 1/Forward Implication
- Biconditional Equivalent to Biconditional of Negations/Formulation 1/Reverse Implication
- Biconditional Equivalent to Biconditional of Negations/Formulation 2
- Biconditional iff Disjunction implies Conjunction/Formulation 1/Forward Implication
- Biconditional iff Disjunction implies Conjunction/Formulation 1/Reverse Implication
- Biconditional iff Disjunction implies Conjunction/Formulation 2
- Biconditional Introduction/Proof Rule/Tableau Form
- Biconditional Introduction/Sequent Form
- Biconditional Introduction/Sequent Form/Proof 1
- Biconditional is Associative/Formulation 2
- Biconditional is Commutative/Formulation 1
- Biconditional is Commutative/Formulation 1/Proof 1
- Biconditional is Commutative/Formulation 1/Proof 2
- Biconditional is Commutative/Formulation 2
- Biconditional is Reflexive
- Biconditional is Reflexive/Proof 1
- Biconditional is Transitive/Formulation 1
- Biconditional is Transitive/Formulation 1/Proof 1
- Biconditional is Transitive/Formulation 2
- Biconditional with Contradiction
- Biconditional with Contradiction/Proof 1
- Biconditional with Tautology
- Biconditional with Tautology/Proof 1

### C

- Clavius's Law implies Law of Excluded Middle
- Clavius's Law/Formulation 1
- Clavius's Law/Formulation 1/Proof 1
- Clavius's Law/Formulation 1/Proof 2
- Clavius's Law/Formulation 2
- Clavius's Law/Formulation 2/Proof 1
- Clavius's Law/Formulation 2/Proof 2
- Conditional is Equivalent to Negation of Conjunction with Negative/Formulation 1/Forward Implication
- Conditional is Equivalent to Negation of Conjunction with Negative/Formulation 1/Reverse Implication
- Conditional is Equivalent to Negation of Conjunction with Negative/Formulation 2
- Conditional is Equivalent to Negation of Conjunction with Negative/Formulation 2/Forward Implication
- Conditional is Equivalent to Negation of Conjunction with Negative/Formulation 2/Proof 1
- Conditional is Equivalent to Negation of Conjunction with Negative/Formulation 2/Reverse Implication
- Conditional is Left Distributive over Conjunction/Formulation 1
- Conditional is Left Distributive over Conjunction/Formulation 1/Proof 1
- Conditional is Left Distributive over Conjunction/Formulation 2
- Conditional is Left Distributive over Conjunction/Formulation 2/Proof 1
- Conditional is Left Distributive over Conjunction/Forward Implication/Formulation 1
- Conditional is Left Distributive over Conjunction/Forward Implication/Formulation 1/Proof
- Conditional is Left Distributive over Conjunction/Forward Implication/Formulation 2
- Conditional is Left Distributive over Conjunction/Forward Implication/Formulation 2/Proof
- Conditional is Left Distributive over Conjunction/Reverse Implication/Formulation 1
- Conditional is Left Distributive over Conjunction/Reverse Implication/Formulation 1/Proof
- Conditional is Left Distributive over Conjunction/Reverse Implication/Formulation 2
- Conditional is Left Distributive over Conjunction/Reverse Implication/Formulation 2/Proof
- Conditional is Left Distributive over Disjunction/Formulation 1/Forward Implication
- Conditional is Left Distributive over Disjunction/Formulation 1/Reverse Implication
- Conditional is Left Distributive over Disjunction/Formulation 2
- Conjunction implies Disjunction
- Conjunction implies Disjunction of Conjunctions with Complements
- Conjunction implies Disjunction/Proof 2
- Conjunction is Equivalent to Negation of Conditional of Negative/Formulation 1/Forward Implication
- Conjunction is Equivalent to Negation of Conditional of Negative/Formulation 1/Reverse Implication
- Conjunction is Equivalent to Negation of Conditional of Negative/Formulation 2
- Conjunction is Equivalent to Negation of Conditional of Negative/Formulation 2/Proof 1
- Conjunction of Disjunction with Negation is Conjunction with Negation
- Conjunction of Disjunctions Consequence
- Conjunction of Disjunctions with Complements implies Disjunction
- Conjunction with Contradiction
- Conjunction with Contradiction/Proof 1
- Conjunction with Law of Excluded Middle
- Conjunction with Negative is Equivalent to Negation of Conditional/Formulation 1/Forward Implication
- Conjunction with Negative is Equivalent to Negation of Conditional/Formulation 1/Reverse Implication
- Conjunction with Negative is Equivalent to Negation of Conditional/Formulation 2
- Conjunction with Negative is Equivalent to Negation of Conditional/Formulation 2/Forward Implication
- Conjunction with Negative is Equivalent to Negation of Conditional/Formulation 2/Proof 1
- Conjunction with Negative is Equivalent to Negation of Conditional/Formulation 2/Reverse Implication
- Conjunction with Tautology
- Conjunction with Tautology/Proof 1
- Constructive Dilemma/Formulation 1
- Constructive Dilemma/Formulation 1/Proof 1
- Constructive Dilemma/Formulation 1/Proof 3
- Constructive Dilemma/Formulation 2
- Constructive Dilemma/Formulation 3
- Contradiction is Negation of Tautology
- Contradiction is Negation of Tautology/Proof 1
- Contradictory Antecedent
- Contradictory Antecedent/Proof 1
- Contradictory Consequent
- Contradictory Consequent/Proof 1

### D

- De Morgan's Laws (Logic)/Conjunction of Negations/Formulation 1/Forward Implication
- De Morgan's Laws (Logic)/Conjunction of Negations/Formulation 1/Reverse Implication
- De Morgan's Laws (Logic)/Conjunction of Negations/Formulation 2
- De Morgan's Laws (Logic)/Conjunction of Negations/Formulation 2/Forward Implication
- De Morgan's Laws (Logic)/Conjunction of Negations/Formulation 2/Proof 1
- De Morgan's Laws (Logic)/Conjunction of Negations/Formulation 2/Reverse Implication
- De Morgan's Laws (Logic)/Conjunction/Formulation 1/Forward Implication
- De Morgan's Laws (Logic)/Conjunction/Formulation 2
- De Morgan's Laws (Logic)/Conjunction/Formulation 2/Proof 1
- De Morgan's Laws (Logic)/Disjunction of Negations/Formulation 1/Forward Implication
- De Morgan's Laws (Logic)/Disjunction of Negations/Formulation 1/Reverse Implication
- De Morgan's Laws (Logic)/Disjunction of Negations/Formulation 2
- De Morgan's Laws (Logic)/Disjunction of Negations/Formulation 2/Proof 1
- De Morgan's Laws (Logic)/Disjunction/Formulation 1/Forward Implication
- De Morgan's Laws (Logic)/Disjunction/Formulation 1/Reverse Implication
- De Morgan's Laws (Logic)/Disjunction/Formulation 2
- De Morgan's Laws (Logic)/Disjunction/Formulation 2/Proof 1
- De Morgan's Laws (Predicate Logic)/Assertion of Existence
- De Morgan's Laws (Predicate Logic)/Assertion of Universality
- De Morgan's Laws (Predicate Logic)/Denial of Existence
- De Morgan's Laws (Predicate Logic)/Denial of Universality/Formulation 1
- De Morgan's Laws (Predicate Logic)/Denial of Universality/Formulation 2/Forward Implication
- Deduction Theorem
- Deduction Theorem for Hilbert Proof System for Predicate Logic
- Destructive Dilemma/Formulation 1
- Destructive Dilemma/Formulation 1/Proof 1
- Destructive Dilemma/Formulation 1/Proof 2
- Destructive Dilemma/Formulation 2
- Disjunction and Conditional
- Disjunction of Conditional and Converse
- Disjunction of Conditional and Converse/Proof 1
- Disjunction of Conditionals
- Disjunction of Conjunctions
- Disjunction with Contradiction
- Disjunction with Contradiction/Proof 1
- Disjunction with Tautology
- Disjunction with Tautology/Proof 1
- Double Negation Elimination implies Law of Excluded Middle
- Double Negation Elimination implies Law of Excluded Middle/Proof 1
- Double Negation Elimination implies Law of Excluded Middle/Proof 2
- Double Negation/Double Negation Elimination/Proof Rule/Tableau Form
- Double Negation/Double Negation Elimination/Sequent Form/Formulation 1
- Double Negation/Double Negation Elimination/Sequent Form/Formulation 1/Proof
- Double Negation/Double Negation Elimination/Sequent Form/Formulation 2
- Double Negation/Double Negation Introduction/Proof Rule/Tableau Form
- Double Negation/Double Negation Introduction/Sequent Form/Formulation 1
- Double Negation/Double Negation Introduction/Sequent Form/Formulation 1/Proof
- Double Negation/Double Negation Introduction/Sequent Form/Formulation 2
- Double Negation/Formulation 1
- Double Negation/Formulation 1/Proof 1
- Double Negation/Formulation 2
- Double Negation/Formulation 2/Proof 1

### E

- Equivalences are Interderivable/Forward Implication
- Equivalences are Interderivable/Reverse Implication
- Exclusive Or is Commutative
- Exclusive Or is Commutative/Proof 1
- Exclusive Or with Contradiction
- Exclusive Or with Contradiction/Proof 1
- Exclusive Or with Tautology
- Exclusive Or with Tautology/Proof 1
- Existential Quantifier Distributes over Conjunction
- Existential Quantifier Distributes over Disjunction

### F

- Factor Principles/Conjunction on Left/Formulation 1
- Factor Principles/Conjunction on Left/Formulation 1/Proof 1
- Factor Principles/Conjunction on Left/Formulation 1/Proof 2
- Factor Principles/Conjunction on Left/Formulation 2
- Factor Principles/Conjunction on Right/Formulation 1
- Factor Principles/Conjunction on Right/Formulation 1/Proof 1
- Factor Principles/Conjunction on Right/Formulation 1/Proof 2
- Factor Principles/Conjunction on Right/Formulation 2
- Factor Principles/Disjunction on Left/Formulation 1
- Factor Principles/Disjunction on Left/Formulation 1/Proof 1
- Factor Principles/Disjunction on Left/Formulation 1/Proof 2
- Factor Principles/Disjunction on Left/Formulation 2
- Factor Principles/Disjunction on Right/Formulation 1
- Factor Principles/Disjunction on Right/Formulation 1/Proof 1
- Factor Principles/Disjunction on Right/Formulation 1/Proof 2
- Factor Principles/Disjunction on Right/Formulation 1/Proof 3
- Factor Principles/Disjunction on Right/Formulation 2
- False Statement implies Every Statement/Formulation 1
- False Statement implies Every Statement/Formulation 1/Proof 1
- False Statement implies Every Statement/Formulation 2
- False Statement implies Every Statement/Formulation 2/Proof 1
- False Statement implies Every Statement/Formulation 2/Proof 2

### H

- Hypothetical Syllogism/Formulation 1
- Hypothetical Syllogism/Formulation 1/Proof 1
- Hypothetical Syllogism/Formulation 2
- Hypothetical Syllogism/Formulation 2/Proof 1
- Hypothetical Syllogism/Formulation 2/Proof 2
- Hypothetical Syllogism/Formulation 3
- Hypothetical Syllogism/Formulation 3/Proof 1
- Hypothetical Syllogism/Formulation 4
- Hypothetical Syllogism/Formulation 4/Proof 1
- Hypothetical Syllogism/Formulation 4/Proof 2
- Hypothetical Syllogism/Formulation 5
- Hypothetical Syllogism/Formulation 5/Proof 1
- Hypothetical Syllogism/Formulation 5/Proof 2