consequent of the other for the conditional to be valid. Consequently, one of the conditionals contains the remained term as antecedent and the other conditional contains the removed term as consequent.
:If P, then Q.
:If Q, then R.
:? If P, then R.An example in English:

:If I do not wake up, then I cannot go to work.
:If I cannot go to work, then I will not get paid.
:Therefore, if I do not wake up, then I will not get paid.

Propositional logic

In propositional logic,

1.Previous
3.Next