Transcript 7.2 Rules of Implication II - Coastal Carolina University

7.2 Rules of Implication
II
CD, Conj, Simp, Add
Review
Modus Ponens (MP)
PQ
P
Q
Modus Tollens (MT)
PQ
~Q
~P
Hypothetical Syllogism (HS)
PQ
QR
PR
Disjunctive Syllogism (DS)
PvQ
~P
Q
Practice
1. K  ~R
2. ~R
3. R v S
4. R  T
5. ____________
_____
1. J  (K  L)
2. L v J
3. ~L
/ ~K
1. ~M
v (B v ~T)
2. B  W
3. ~~M
4. ~W
/~T
New Rules
Constructive Dilemma (CD)
(P  Q)  (R  S)
PvR
QvS
CD
(P  Q)  (R  S)
PvR
QvS
(A  B)  [C  (D  B)]
(A v C)
B v (D  B)
CD
(P  Q)  (R  S)
PvR
QvS
(~A  ~B)  (H  ~P)
~A v H
__________
CD
Simplification (Simp)
PQ
P
Simp
PQ
P
(P  Q)  (R  S)
(P  Q)
Simp
PQ
P
~A  ~B
B
________
Simp
Conjunction (Conj)
P
Q
PQ
Conj
P
Q
PQ
AvB
CA
(A v B)  (C  A)
Conj
P
Q
PQ
~A v ~B
B
_______
Conj
Addition (Add)
P
PvQ
Add
P
PvQ
AvB
~[C  (D  B)]
(A v B) v F
Add
P
PvQ
~A v ~B
B
________
Add
Rules 1-8
MP
PQ
P
Q
MT
PQ
~Q
~P
CD
(P  Q)  (R  S)
PvR
QvS
HS
PQ
QR
PR
Simp
PQ
P
DS
PvQ
~P
Q
Conj
P
Q
PQ
Add
P
PvQ
7.2.1 Practice
1.
2.
3.
4.
SvH
BE
RG
_______
____, Simp
1. D
2. W
3. _______
___, Conj
1.
2.
3.
4.
R  (N v K)
(G  T) v S
(Q  C)  (J  L)
_______ ___, Simp
1.
2.
3.
4.
(Q v K)  ~B
(M  R)  D
(W  S) V (G  F)
_______ ___, Simp
1. ~B
2. F v N
3. _______
___, Conj
1. E  G
2. _______
___, Add
7.2.2 Practice
1.
2.
3.
4.
GN
GK
_______
GvT
_____
_____
1.
2.
3.
4.
5.
BN
BvK
KR
_______
NvR
_____
_____
1.
2.
3.
4.
5.
SE
E v (S  P)
~E
_______ _____
S
_____
1.
2.
3.
4.
5.
J
~L
FL
_______
~F  J
_____
_____
7.2.3 Practice
On the board…