SWBAT: Practice the application of several logic laws in the form of Logic
Proofs.
Practice
with
logic proofs
SWBAT: Practice the
application of several logic
laws in the form of Logic
Proofs.
SWBAT: Use the De Morgan’s Law and the Laws of Simplification,
Conjunction, and Disjunctive Addition.
Quiz #2
p
p
q  t
q
t
(q  t)
Given
Given
Law of Detachment (1,2)
Given
Law of Disjunctive Inference
(3,4)
SWBAT: Practice the application of several logic laws in the form of Logic Proofs.
A
B
B
A
 A (C  D)
C  D
C
Given
Given
Law of Modus Tollens (1,2)
Given
Law of Detachment (4,3)
Law of Simplification (5)
SWBAT: Practice the application of several logic laws in the form of Logic Proofs.
Given
P  Q
P
Law of Simplification (1)
 (Q
P
 R)
 (Q  R)
Q   R
Q
Law of Disjunctive Inference (5,6
R
S
Law of Detachment (3,2)
De Morgan’s Law (4)
Simplification (1)
R
S
Given
Given
Law of Modus Tollens (8,7)
SWBAT: Practice the application of several logic laws in the form of Logic Proofs.
(A  B)
C
A  B
A
B
C
Given
Given
Law of Modus Tollens (1,2)
Given
Law of
Disjunctive Inference (3,4)
SWBAT: Practice the application of several logic laws in the form of Logic Proofs.
GIVEN:
C  K
(C  L)
 D
K
D
D
C
D
H  L
PROVE:
C
SWBAT: Practice the application of several logic laws in the form of Logic Proofs.
K
D
D
C
K
C
(C  L)
 D
D
 (C  L)
 C   L
H  L
L
 C
 K
C  K
C
Given
Given
Chain Rule (1,2)
Given
Given
Law of Modus Tollens (4,5)
De Morgan’s Law (6)
Given
Simplification (8)
Law of Disjunctive Inference (7,9)
Law of Modus Tollens (3,10)
Given
Law of Disjunctive Inference (11,12)
SWBAT: Practice the application of several logic laws in the form of Logic Proofs.
t
w
~t
~w
t →w
(t → w) Λ ~ w
(t → w) Λ ~ w → ~ t
SWBAT: Practice the application of several logic laws in the form of Logic Proofs.
[(p → q) Λ (q → r) ] → (p → r)
(p → q) Λ (q → r)
p →q
q →r
p →r
p q r
T
T
T
T
F
F
F
F
T
T
F
F
T
T
F
F
T
F
T
F
T
F
T
F
T
T
F
F
T
T
T
T
T
F
T
T
T
F
T
T
T
F
F
F
T
F
T
T
T
F
T
F
T
T
T
T
See
above
T
T
T
T
T
T
T
T