SWBAT: Practice the application of several logic laws in ...
[Pages:9]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 (q t)
p
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.
P Q P
P (Q R) (Q R) Q R
Q
R
S
R
S
Given
Law of Simplification (1)
Given
Law of Detachment (3,2) De Morgan's Law (4)
Simplification (1) Law of Disjunctive Inference (5,6
Given
Law of Modus Tollens (8,7)
SWBAT: Practice the application of several logic laws in the form of Logic Proofs.
(A B) C
C A B
A
B
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 L)
C
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
................
................
In order to avoid copyright disputes, this page is only a partial summary.
To fulfill the demand for quickly locating and searching documents.
It is intelligent file search solution for home and business.