A conditional proposition relates two propositions.
Propositions: Categorical and Conditional Forms