1/13
Looks like no tags are added yet.
Name | Mastery | Learn | Test | Matching | Spaced | Call with Kai |
|---|
No analytics yet
Send a link to your students to track their progress
Modus Ponens (MP)
A —>B
__A__
B
Modus Tollens (MT)
A —> B
__~B__
~A
Law of Syllogism (LS)
A —> B
B —> C
_______
A —> C
Disjunctive Syllogism (DS)
A or B
__~A__
B
Double Negation (DN)
~(~A)
_____
A
Commutative (COMM)
A or B A ^ B
__________
B or A B ^ A
Associative (ASSOC)
A or (B or C) A ^ (B ^ C)
____________________
(A or B) or C (A ^ B) ^ C
Distributive (DIST)
A or ( B ^ C) A ^ (B or C)
_____________________
(A or B) ^ (A or C). (A ^ B) or (A ^ C)
Simplification (SIMP)
A ^ B
____
A
Addition (ADD)
__A__
A or B
Conjunction (CONJ)
A
__B__
A ^ B
DeMorgan’s (DM)
~ (A or B) A or B
_______________
~ A ^ ~B ~ ( ~ A ^ ~B)
Material Implication (MI)
A —> B A or B
_____________
~A or B ~A —> B
Contrapositive (CP)
A —> B
________
~B —> ~A