TruthFunctionalArgForms

advertisement
TruthfunctionAl
Valid ?
John’s young or he’s wise.
He’s not young.
So, he’s wise.
Truth-Functional Logic
John’s young or he’s wise.
He’s not young.
So, he’s wise.
He’s wise.
John is young He’s not
or he is wise. young.
Truth-Functional Sentence
Definition.* A truth-functional sentence is a
compound sentence whose truth value can
be determined from merely the truth values
of its simplest component sentences.
Example:
It squawks and it flys.
S&F
S&F
S
F
It squwaks.
It flys.
true
true
true
false
true
false
true
false
false
false
false
false
It squwaks and it flys.
Example of a Truth-Functional Sentence
S&F
S
F
It squwaks.
It flys.
true
true
true
false
true
false
true
false
false
false
false
false
It squwaks and it flys.
Which are Truth-Functional Sentences ?
No
a. It squawks before it flies.
No
b. It squawks.
No
c. It squawks because it flies.
Yes
d. It does not both squawk and fly.
Yes
e. It is not the case that it flies.
Sentence Constant
Upper-Case Roman Letter ( C, M, R, etc.)
Stands for an actual, given sentence.
Sentence Variable
Lower-Case Roman Letter ( p, q, r, etc.)
Stands for any sentence whatever.
John is young or he is wise.
He’s not young.
So, he’s wise.
Y or W
not Y____
W
p or q
not p____
q
She’s a yak or he’s an ox.
She’s not a yak.____
So, he’s an ox.
Y or O
not Y__
O
p or q
not p__
q
Is Every Argument Of This FormValid ?
Valid ?
p or q
not p_
q
A Formal Truth-Functional Language
Every sentence will be either:
1. Simple ( M, K, R, etc.) or
2. Compound as follows :
not M
Negation
L and R
Conjunction
R or K
Disjunction
Simple sentences.
Bert burped.
B
Wilma often laughed at the thought of Bert
burping during their wedding. L
Negations
Bert did not burp.
not B
It’s not the case that Wilma often laughed at the
thought of Bert burping during his speech.
not W
Truth-Functional Negation
Negation of a sentence reverses its truth value.
Roy runs. It’s not the case that Roy runs.
R
t
f
not R
f
t
p___not p
t
f
f
t
Valid Argument Forms for Negation
p
not not p
not not p
p
Example
It’s not the case that Roy doesn’t run.
Therefore, Roy runs.
not not R
R
Truth-Functional Conjunction
Maryland remained in the Union and Virginia
joined the Confederacy.
M and R
Form: p & q
A Conjunction Claims that Both are True
W
R
W&R
Wade wades. Roy roosts. Wade wades and Roy Roosts.
T
T
F
T
T
F
T
F
F
F
F
F
Valid Conjunctive Argument Forms
p&q
p
p&q
q
Not both p & q
p
not q
p
q
p&q
Not both p & q
q
not p
Truth-Functional Disjunction:
• True when either simple sentence (“disjunct”) is true.
• Claims that at least one of the disjuncts is true.
p
t
f
t
f
q p or q
t
t
t
t
t
f
t
f
Roy runs or Wade wades.
R W
t
f
t
f
t
t
f
f
R or W
t
t
t
f
Valid Disjunctive Argument Forms
p or q
not p
q
p or q
not q
p
p
p or q
Conditional (Hypothetical) Reasoning
•
•
•
•
“What if … ?” reasoning.
Fiction
Science
Common Sense ?
E
M
If the earth is round, then the mast will appear first.
antecedent sentence then ……
consequent sentence.
If ……
The Truth-Functional (“Minimal”) Conditional.
If you buy that car, then you’ll go broke.
If C then G.
Not both C and not G.
If she sings, then people will leave.
If S then L .
If p then q.
Not both S and not L.
Not ( p and not q ).
Truth Values for the Minimal Conditional
not q
p and not q
If p then q
not (p and not q)
p
q
t
t
f
f
t
f
t
f
f
t
t
f
t
t
f
f
f
t
f
t
False in only one situation (case): when antecedent is
true but consequent is false.
Valid Conditional Argument Forms
If p then q
p
If p then q
Not q
If p then q
If q then r
q
Not p
If p then r
Modes Ponens
Modes Tollens
Chain Argument
If p then not p
If p then both (q and not q)
Not p
Not p
Reductio Ad Absurdum
Truth Table for Modes Ponens:
If p then q
p
q
Premise
p
Conclusion
q
Premise
If p then q
1
t
t
t
2
f
t
3
t
f
t
f
4
f
f
t
Reductio ad Absurdum. (examples)
If Bob becomes the boss, then he won’t become the
boss (because everyone will quit). So, he won’t become
the boss.
If B then not B.
Not B
If there’s a greatest number ( “G”), then G+200 is less
than G (because G is the greatest) and G+200 is not less
than G (by simple arithmetic). So, there’s no greatest number.
If G, then both L and not L.
Not G
Reductio ad Absurdum. Form.
If p then (q and not q).
Not p
If p then not p.
Not p
Dilemma
Definition.
A dilemma is an argument
which claims that among the alternatives
presented, at least one must be
taken.
If p then q
If r then s
p or r
q or s
Truth Values for the Minimal Conditional
not q
p and not q
If p then q
not (p and not q)
p
q
t
t
f
f
t
f
t
f
f
t
t
f
t
t
f
f
f
t
f
t
False in only one situation (case): when antecedent is
true but consequent is false.
Converse and Contrapositive of the Truth-Functional Conditional
p
q
Not p Not q
t
t
f
f
t
t
t
f
t
t
f
t
f
t
t
f
f
t
f
t
f
f
f
t
t
t
t
t
If p then q
If q then p If not q then not p
Same values in each case (line).
The conditional and its converse are not related by implication
nor equivalence. (Though they are subcontraries.)
The conditional and its contrapositive are logically equivalent.
A Translation Rule for Conditionals
The sentence following the “if…” is
the antecedent, except when the “if…”
follows “only…”.
Examples:
A
H
She’s away if it’s a holiday.
She’s away only if it’s a holiday.
A
H
H
A
If it’s a holiday then she’s away.
If she’s away then it’s a holiday.
A
H
Further Examples for Translating Conditionals
M
F
It’s a mother only if it’s a female.
If M
then
F
It’s female if it’s a mother.
If
M then F
not H
W
He’s not happy if he’s wealthy.
If
W then not H
U
W
Only if he’s unhappy is he wealthy.
If
W
then U
Translating “…unless…”
p unless q
“says”
p if not q
Apply “if” Rule
If not q then p.
If not p then q.
(contrapositive)
Rule for translating
“unless” sentences:
Negate one of the two sentences,
put it in the antecedent position,
put the other in the consequent
position.
Example of Translating “…unless…”
He’s been married seven times! Why ?
He’s unhappy unless he’s married.
U unless M
U if not M
If not U then M.
If not M then U.
Biconditional
p if and only if q.
(p if q) and
(p only if q).
(If q then p) and
(If p then q).
Truth Values for the Biconditional
(p if q)
p
q
t
t
f
If q then p
&
(p only if q)
If p then q
P if and only if q
t
t
t
t
f
t
f
t
f
t
f
f
f
f
t
t
t
The biconditional is true when both truth values are the same,
otherwise it is false.
Download