Professional Documents
Culture Documents
Implication (Intro To Logic)
Implication (Intro To Logic)
&
STATEMENTS
MATERIAL
IMPLICATION
CONDITIONA
&
STATEMENTS L
MATERIAL
CONDITIONAL
IMPLICATION
STATEMENT
is where two statements are combined by
placing the word “if” before the first and
inserting the word “then” between them.
MATERIAL
IMPLICATION
e.g.
&
STATEMENTS L
MATERIAL
IMPLICATION
&
STATEMENTS L
4OFTYPES
MATERIAL
IMPLICATION
IMPLICATION
1. LOGICAL IMPLICATION
the consequent follows logically from its
antecedent.
&
STATEMENTS L
MATERIAL
2. DEFINITIONAL IMPLICATION
IMPLICATION
the consequent follows the antecedent by
definition.
TYPES OF
IMPLICATIONS
e.g.If Jones is a lawyer, then Jones practices law.
3. CAUSAL IMPLICATION
the connection between the antecedent and
consequent is discovered empirically.
&
STATEMENTS L
MATERIAL
4. DECISIONAL IMPLICATION
IMPLICATION
No logical connection nor one by definition
between the consequent and antecedent. This is
TYPES OF a decision of the speaker to behave in the
IMPLICATIONS
specified way under the specified circumstances.
&
STATEMENTS L
MATERIAL
MATERIAL
IMPLICATION
IMPLICATION
the symbol “⊃” represents this implication, it is
not the same kind of implication of the four
types. Not all conditional statements in English
need assert one of the four types of implication
previously considered.
CONDITIONA
A conditional of this sort is often used as an
&
STATEMENTS L
MATERIAL
IMPLICATION emphatic or humorous method of denying its
antecedent. The consequent of such a
conditional is usually a statement can have both
its antecedent true and its consequent false, to
affirm such a conditional amounts to denying
that its antecedent is true.
&
STATEMENTS L
MATERIAL
IMPLICATION
• The word “if” can be replaced by such
phrases as “in case,” “provided that,” “given
that,” or “on condition that,” without any
change in meaning.
&
STATEMENTS L
MATERIAL
IMPLICATION
The notions of necessary and sufficient
conditions provide other formulations of
conditional statements. For any specified event,
many circumstances are necessary for it to
occur. Thus, for a normal car to run, it is
necessary that there be fuel in its tank, its spark
plugs properly adjusted, and its oil pump
working, and so on. So if the event occurs, every
one of the conditions necessary for its
occurrence must have been fulfilled.
CONDITIONA e.g.That there is fuel in its tank.
a necessary condition for the car to run.
&
STATEMENTS L
MATERIAL
IMPLICATION
MATERIAL
IMPLICATION
p q p⊃q X, Y, Z = False
T T T
T F F
F T T
F F T
(A ⊃ B) ⊃ Z = Condition is False
CONDITIONA
Truth Table A, B, C = True
&
STATEMENTS L
MATERIAL
IMPLICATION
p q p⊃q X, Y, Z = False
T T T
T F F
F T T
F F T
[(A ⊃ B) ⊃ C] ⊃ Z
[(A ⊃ B) ⊃ C] ⊃ Z = False
[(A ⊃ X) ⊃ Y] ⊃ Z
[(A ⊃ X) ⊃ Y] ⊃ Z = False
T
CONDITIONA
Not every statement containing the word “if” is
&
STATEMENTS L
MATERIAL
IMPLICATION
a conditional. None of the following statements
is a conditional: