Conditional Propositions Flashcards
Conditional Proposition
a proposition which takes the form if p, then q. The if p part is called the antecedent while the then q part is called the consequent
sufficient condition
enough, if side, antecedent
necessary condition
has to be, then side, consequent
antecedent
if side
if there is smoke
consequent
then side
then there is a fire
if p, then q
p is sufficient for q
if p, then q
q is necessary for p
if p, then q
p only if q
if p, then q
q if p
if p, then q
p implies q
if p, then q
q is implied by p
p unless q
if not -q, then p
if p, then q
if not -q, then not -p
if
whatever is right after if, is the antecedent
only if
if x, then y
x only if y
the only exception to the rule that whatever is after the if is the antecedent
only if introduces necessary condition