The Conditional Proposition
It is a compound proposition in which one clause asserts something as true provided that the other clause is true.
The first clause is the “if” clause and is termed the antecedent.
The second clause is the “then” clause and is called the consequent.
Example: “If he is the tallest in class, then he should be exempted for the P.E. demonstration.”
Antecedent: If he is the tallest in class
Consequent: then he should be exempted for the P.E. demonstration
The “if…then” are the connectives and indicate that if the antecedent is true, then the consequent must be true. The antecedent must flow with logical necessity into the consequent.