Category:Examples of Hypothetical Syllogism

From ProofWiki
Jump to navigation Jump to search

This category contains examples of use of 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$.

Pages in category "Examples of Hypothetical Syllogism"

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