Conditional Statements

Two statements combined by placing the word if before the first and inserting the word
then between them.
{If all humans are mortal and Socrates is a human},[ then Socrates is mortal.]
Antecedent
Consequent
What does it assert?
-

It asserts not that the antecedent is true but asserts that if the antecedent is true
then the consequent is true.
- It asserts not that the consequent is true but asserts that its consequent is true if its
antecedent is true.
Implication
Is the connection or the relationship between the two statements.
___________ If Karen is a girl and she is my friend then Karen is my girlfriend.
___________ If you only eat vegetables then youre a vegetarian.
___________ If you mix alcohol and sleeping pills then you sleep forever.
___________ If you pass the exams then I will buy you a new car.

Material Implication
Is a special notion not to be confused with other implications.
No real connection whether logical, definitional or causal.
Often used as an emphatic or humorous method of denying its antecedent
If Ms. Watson agrees to marry me next month then well have the reception on Olympus
Mons.

REMEMBER:
Truth Table
A
T
T
F
F

C
T
F
T
F

IF...THEN is only FALSE

A C
when
T
T Fimplies F.
All otherTcases are TRUE.
T