Conditional statements are composed of two elements:

• The Antecedent - that which precedes
• The Consequent - that which follows

The element of the proposition following the word ‘if’ is called the antecedent and the element following the word ‘then’ is called the consequent: “If X then Y.”

In a conditional statement, the antecedent always represents a sufficient condition for the consequent, while the consequent represents a necessary condition for the antecedent.