Category:Hypothetical Syllogism
Jump to navigation
Jump to search
This category contains pages concerning Hypothetical Syllogism:
The (rule of the) hypothetical syllogism is a valid deduction sequent in propositional logic:
- If we can conclude that $p$ implies $q$, and if we can also conclude that $q$ implies $r$, then we may infer that $p$ implies $r$.
Subcategories
This category has only the following subcategory.
E
Pages in category "Hypothetical Syllogism"
The following 19 pages are in this category, out of 19 total.
H
- Hypothetical Syllogism
- Hypothetical Syllogism/Formulation 1
- Hypothetical Syllogism/Formulation 1/Proof 1
- Hypothetical Syllogism/Formulation 1/Proof 2
- Hypothetical Syllogism/Formulation 1/Proof by Truth Table
- Hypothetical Syllogism/Formulation 2
- Hypothetical Syllogism/Formulation 2/Proof 1
- Hypothetical Syllogism/Formulation 2/Proof 2
- Hypothetical Syllogism/Formulation 2/Proof by Truth Table
- Hypothetical Syllogism/Formulation 3
- Hypothetical Syllogism/Formulation 3/Proof 1
- Hypothetical Syllogism/Formulation 3/Proof by Truth Table
- 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