Professional Documents
Culture Documents
and
Analogical Reasoning
MAGALGALIT, Rejie C.
QUIMSON, Ellaine M.
May 2018
Methods of Deduction
• 9.9 Proving Invalidity
• 9.10 Inconsistency
• 9.11 Indirect Proof of Validity
• 9.12 Shorter Truth-Table
Proving Invalidity
Premises = True
Proving Invalidity
Truth-Table Technique
Premises = True
Conclusion = False
Proving Invalidity
Truth-Table Technique
Premises = True
Conclusion = False
INVALID
Proving Invalidity
In the argument
p⊃q
r⊃q
∴p⊃r
Proving Invalidity
p q r p⊃q r⊃q p⊃r
T T T T T T
T T F T T F
T F T F F T
T F F F T F
F T T T T T
F T F T T T
F F T T F T
F F F T T T
Proving Invalidity
• Conjunctive statements
Both the antecedent and the consequent are true
=TRUE
• Disjunctive statements
At least one of either the antecedent or the
consequent is true
=TRUE
Proving Invalidity
• Conditional statements
Antecedent is true and the consequent is false
= FALSE
• Bi-conditional statements
Antecedent is either both true or both false
= TRUE
Proving Invalidity
T T T T T T
T T F T T F
T F T F F T
T F F F T F
F T T T T T
F T F T T T
F F T T F T
F F F T T T
Proving Invalidity
VALID
INCONSISTENCY
If Clyde’s visa was approved, he would have
left for the United States.
If Clyde’s visa was not approved, he would
have stayed in Baguio City.
Clyde neither left for the United States nor
stayed in Baguio City.
Therefore, Clyde went to Mountain Province.
INCONSISTENCY
1. p ⊃ q
2. ~p ⊃ r
3. ~(q v r)
∴s
1. p ⊃ q
2. ~p ⊃ r
3. ~(q v r) / ∴ s
4. ~q • ~r 3, De. M.
1. p ⊃ q
2. ~p ⊃ r
3. ~(q v r) / ∴ s
4. ~q • ~r 3, De. M.
5. ~q 4, Simp.
1. p ⊃ q
2. ~p ⊃ r
3. ~(q v r) / ∴ s
4. ~q • ~r 3, De. M.
5. ~q 4, Simp.
6. ~p 1, 5, M. T.
1. p ⊃ q
2. ~p ⊃ r
3. ~(q v r) / ∴ s
4. ~q • ~r 3, De. M.
5. ~q 4, Simp.
6. ~p 1, 5, M. T.
7. r 2, 6, M. P.
1. p ⊃ q
2. ~p ⊃ r
3. ~(q v r) / ∴ s
4. ~q • ~r 3, De. M.
5. ~q 4, Simp.
6. ~p 1, 5, M. T.
7. r 2, 6, M. P.
8. ~r • ~q 4, Com.
1. p ⊃ q
2. ~p ⊃ r
3. ~(q v r) / ∴ s
4. ~q • ~r 3, De. M.
5. ~q 4, Simp.
6. ~p 1, 5, M. T.
7. r 2, 6, M. P.
8. ~r • ~q 4, Com.
9. ~r 8, Simp.
1. p ⊃ q
2. ~p ⊃ r
3. ~(q v r) / ∴ s
4. ~q • ~r 3, De. M.
5. ~q 4, Simp.
6. ~p 1, 5, M. T.
7. r 2, 6, M. P.
8. ~r • ~q 4, Com.
9. ~r 8, Simp.
10. r v s 7, Add.
1. p ⊃ q
2. ~p ⊃ r
3. ~(q v r) / ∴ s
4. ~q • ~r 3, De. M.
5. ~q 4, Simp.
6. ~p 1, 5, M. T.
7. r 2, 6, M. P.
8. ~r • ~q 4, Com.
9. ~r 8, Simp.
10. r v s 7, Add.
11. s 10, 9, D. S.
1. p ⊃ q
2. ~p ⊃ r
3. ~(q v r) / ∴ s
4. ~q • ~r 3, De. M.
5. ~q 4, Simp.
6. ~p 1, 5, M. T.
7. r 2, 6, M. P.
8. ~r • ~q 4, Com.
9. ~r 8, Simp.
10. r v s 7, Add.
11. s 10, 9, D. S.
1. p ⊃ q
2. ~p ⊃ r
3. ~(q v r) / ∴ s
4. ~q • ~r 3, De. M.
5. ~q 4, Simp.
6. ~p 1, 5, M. T.
7. r 2, 6, M. P.
8. ~r • ~q 4, Com.
9. ~r 8, Simp.
10. r v s 7, Add.
11. s 10, 9, D. S.
INCONSISTENCY
If the premises are INCONSISTENT
T T T F F
T F F T F
F T T F T
F F T T T
Shorter Truth- Table
p q p⊃ q ~q ~p
Shorter Truth- Table
p q p⊃ q ~q ~p
T T F
Shorter Truth- Table
p q p⊃ q ~q ~p
T T F
Shorter Truth- Table
p q p⊃ q ~q ~p
T F T T F
Shorter Truth- Table
p q p⊃ q ~q ~p
T F T T F
Shorter Truth- Table
p q p⊃ q ~q ~p
T F F T F
Shorter Truth- Table
p q p⊃ q ~q ~p
T F F T F
Shorter Truth- Table
p q p⊃ q ~q ~p
T F F T F
Shorter Truth- Table
p q p⊃ q ~q ~p
T F F T F
Shorter Truth- Table
p q p⊃ q ~q ~p
T F F T F
Shorter Truth- Table
p q p⊃ q ~q ~p
T T T F F
T F F T F
F T T F T
F F T T T
Methods of Deduction
• 9.9 Proving Invalidity
• 9.10 Inconsistency
• 9.11 Indirect Proof of Validity
• 9.12 Shorter Truth-Table