Category:Hypothetical Syllogism

From ProofWiki
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$.