Logic Flashcards
1
Q
P then Q
P
Therefore Q
A
Modus Ponens
2
Q
P then Q
~Q
Therefore ~P
A
Modus Tollens
3
Q
P then Q
Q
Therefore P
A
Converse Error
4
Q
P then Q
~P
Therefore ~Q
A
Inverse Error
5
Q
~P then C
Therefore P
A
Contradiction Rule
6
Q
P
Therefore P or Q
A
Generalization Rule
7
Q
P and Q
Therefore P
A
Specialization Rule
8
Q
P
Q
Therefore P and Q
A
Conjunction Rule
9
Q
P or Q
~Q
Therefore P
A
Elimination
10
Q
P then Q
Q then R
Therefore P then R
A
Transitivity Rule
11
Q
P or Q
P then R
Q then R
Therefore R
A
Proof by Division into Cases
12
Q
Distribute:
P and (Q or R)
A
(P and Q) or (P and R)
13
Q
What Laws are these?
P and t = P
P or c = P
A
Identity Laws
14
Q
What law is this?
P or ~P = t
A
Negation Law
15
Q
What laws are these?
P and P = P
P or P = P
A
Idempotent Laws
