implies ", is called the antecedent and is called the consequent. Antecedent and consequent are connected via logical connective to form a proposition.

* If is a man, then is mortal.

" is a man" is the antecedent for this proposition while " is mortal" is the consequent of the proposition.

* If men have walked on the Moon, then I am the king of France.

Here, "men have walked