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:
and in sequent notation as:
Natural Deduction Transformation Rules
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.