Final Flashcards
1
Q
MP
A
p→q, p ∴ q
2
Q
MT
A
p→q, ~q ∴ ~p
3
Q
DS
A
p∨q, ~p ∴ q (OR) p∨q, ~q ∴ p
4
Q
Simp
A
p∙q ∴ p or q
5
Q
Conj
A
p, q ∴ (p∙q)
6
Q
HS
A
p→q, (q→r) ∴ (p→r)
7
Q
Add
A
p ∴ p∨q (OR) p ∴ q∨p
8
Q
CD
A
p∨q, p→r, q→s ∴ r∨s
9
Q
DN
A
p :: ~~p
10
Q
EX
A
(p∙q)→r :: p→(q→r)
11
Q
Com
A
p∙q :: q∙p (OR) p∨q :: q∨p
12
Q
Dist
A
p∙(q∨r) :: (p∙q)∨(p∙r)
13
Q
Dist
A
p∨(q∙r):: (p∨q)∙(p∨r)
14
Q
As
A
p∨(q∨r) :: (p∨q)∨r
15
Q
As
A
p∙(q∙r) :: (p∙q)∙r
