Exam 2 Flashcards
1
Q
&
A
Conjunction
2
Q
V
A
Disjunction
3
Q
->
A
Conditional
4
Q
~
A
Negation
5
Q
If and only if (three bars)
A
Biconditional
6
Q
- A
- B
———
A&B 1,2 &I
A
Conjunction Introduction
7
Q
DM
~(A&B) -> ~Av~B
A
DeMorgan’s Law
8
Q
- C
———
CvD 1, vI
A
Disjunctive Introduction
9
Q
- A&B
———
A 1, &E
A
Conjunction Elimination
10
Q
- RvS
- ~S
———
R 1,2 vE
A
Disjunctive Elimination
11
Q
Av(G&H)
(AvG) & (AvH)
A
Distribution
12
Q
- R->U
- R
———
U 1,2 -> E/MP
A
Conditional Elimination/Modus Ponens
13
Q
1.R->U
2. ~U
———
~R 1,2 MT
A
Modus Tollens
14
Q
(CvD)
(~C->D)
A
Material Implication
15
Q
->I
A
Conditional Introduction