Hypothetical Syllogism , also known as Transitivity of Material Conditional and Chain Argument is a valid rule of inference of propositional logic and valid argument form that has the following form:

P1: If P, then Q.

P2: If Q, then R.

C: Therefore, If P then R.

This is expressed in rule form as:

\frac{P \rightarrow Q, Q \rightarrow R}
{\therefore, P \rightarrow R}

and in sequent notation as:

P \to Q, Q \to R \vdash P \to R

Ad blocker interference detected!

Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.