Paragraph

An implication or conditional is a molecular statement of the form

where \(P\) and \(Q\) are statements. We say that

• \(P\) is the hypothesis (or antecedent).

• \(Q\) is the conclusion (or consequent).