Logic Flashcards
1
Q
Disjunction
A
True when p or q is true
2
Q
De Morgan’s laws
A
1) ~(PvQ) = ~P ^ ~Q
2) ~(P^Q) = ~P v ~Q
3
Q
Generalization
A
P
Therefore P v Q
4
Q
Specialization
A
P ^ Q
Therefore P or therefore Q
5
Q
Elimination
A
P^Q
~Q
Therefore P
6
Q
Transivity
A
P implies Q, Q implies R
Therefore P implies R
7
Q
Tautology
A
If a compound statement is true for all possible combinations of truth values of its component statements
8
Q
Contradiction
A
A compound statement that is false for all possible combinations of truth values of its component statements
9
Q
Commutative law
A
P v Q = Q v P
10
Q
Conjunction
A
True when p and q are both true
