Document

Download Report

Transcript Document 

Wedge In1 (vIn)
1
1
1. (FvA)>G
F>G
A
[1]
GOAL
[2]
Wedge In (vIn)
1
2
1
1. (FvA)>G
2. F
G
F>G
A
PA
[1]
[3]
GOAL
2-? >I
[4]
[2]
Wedge In (vIn)
1
2
1
1. (FvA)>G
2. F
FvA
G
F>G
A
PA
GOAL
1,? >O
2-? >I
[1]
[3]
[5]
[4]
[2]
Wedge In (vIn)
1
2
1
1. (FvA)>G
2. F
FvA
G
F>G
A
PA
GOAL
1,? >O
2-? >I
vIn
A
A
AvB
BvA
[1]
[3]
[5]
[4]
[2]
Wedge In (vIn)
1
2
2
1,2
1
1.
2.
3.
4.
5.
(FvA)>G
F
FvA
G
F>G
A
PA
2, vI
1,3 >O
2-4 >I
vIn
A
A
AvB
BvA
[1]
[3]
[5]
[4]
[2]
Wedge In (vIn)
vIn
A
A
AvB
BvA
Wedge In (vIn)
1.
2.
3.
4.
P&Q
P
Q
PvQ
A
1 &O
1 &O
1,2 vI
vIn
A
A
AvB
BvA
Wedge In (vIn)
1.
2.
3.
4.
P&Q
P
Q
PvQ
A
1 &O
1 &O
1,2 vI
vIn HAS ONE PREMISE ONLY
vIn
A
A
AvB
BvA
Wedge In (vIn)
1.
2.
3.
4.
P&Q
P
Q
PvQ
A
1 &O
1 &O
2 vI
CORRECT
vIn HAS ONE PREMISE ONLY
vIn
A
A
AvB
BvA
Wedge In (vIn)
1
1. -(OvB)
1
-O&-B
A
[1]
?,? &I
[2]
Wedge In (vIn)
1
1. -(OvB)
A
[1]
1
-O
GOAL
[3]
1
1
-B
-O&-B
GOAL
?,? &I
[4]
[2]
Wedge In (vIn)
1
1. -(OvB)
A
[1]
1
-O
?-? -I
[3]
1
1
-B
-O&-B
GOAL
?,? &I
[4]
[2]
Wedge In (vIn)
1
2
1. -(OvB)
2. O
A
PA
[1]
[5]
1
?&-?
-O
GOAL
2-? -I
[3]
1
-B
-O&-B
GOAL
?,? &I
[4]
[2]
Wedge In (vIn)
1
2
1. -(OvB)
2. O
A
PA
[1]
[5]
1
(OvB)&-(OvB)
-O
GOAL
2-? -I
[6]
[3]
1
-B
-O&-B
GOAL
?,? &I
[4]
[2]
Wedge In (vIn)
1
2
1
1
1. -(OvB)
2. O
OvB
(OvB)&-(OvB)
-O
-B
-O&-B
A
PA
GOAL
?,1 &I
2-? -I
[1]
[5]
GOAL
?,? &I
[4]
[2]
[6]
[3]
Wedge In (vIn)
1
2
2
1,2
1
1
1.
2.
3.
4.
5.
-(OvB)
O
OvB
(OvB)&-(OvB)
-O
A
PA
2 vI
3,1 &I
2-4 -I
[1]
[5]
[7]
[6]
[3]
-B
-O&-B
GOAL
5,? &I
[4]
[2]
Wedge In (vIn)
1
2
2
1,2
1
1
1.
2.
3.
4.
5.
-(OvB)
O
OvB
(OvB)&-(OvB)
-O
A
PA
2 vI
3,1 &I
2-4 -I
[1]
[5]
[7]
[6]
[3]
-B
-O&-B
?-? -I
5,? &I
[4]
[2]
Wedge In (vIn)
1
2
2
1,2
1
6
1
1.
2.
3.
4.
5.
6.
-(OvB)
O
OvB
(OvB)&-(OvB)
-O
B
A
PA
2 vI
3,1 &I
2-4 -I
PA
[1]
[5]
[7]
[6]
[3]
[8]
?&-?
-B
-O&-B
GOAL
6-? -I
5,? &I
[4]
[2]
Wedge In (vIn)
1
2
2
1,2
1
6
1
1.
2.
3.
4.
5.
6.
-(OvB)
O
OvB
(OvB)&-(OvB)
-O
B
A
PA
2 vI
3,1 &I
2-4 -I
PA
[1]
[5]
[7]
[6]
[3]
[8]
(OvB)&-(OvB)
-B
-O&-B
?,1 &I
6-? -I
5,? &I
[9]
[4]
[2]
Wedge In (vIn)
1
2
2
1,2
1
6
1
1.
2.
3.
4.
5.
6.
-(OvB)
O
OvB
(OvB)&-(OvB)
-O
B
OvB
(OvB)&-(OvB)
-B
-O&-B
A
PA
2 vI
3,1 &I
2-4 -I
PA
GOAL
?,1 &I
6-? -I
5,? &I
[1]
[5]
[7]
[6]
[3]
[8]
[9]
[4]
[2]
Wedge In (vIn)
1
2
2
1,2
1
6
6
1,6
1
1
1. -(OvB)
2. O
3. OvB
4. (OvB)&-(OvB)
5. -O
6. B
7. OvB
8. (OvB)&-(OvB)
9. -B
10. -O&-B
A
PA
2 vI
3,1 &I
2-4 -I
PA
6 vI
7,1 &I
6-8 -I
5,9 &I
For more click here
[1]
[5]
[7]
[6]
[3]
[8]
[10]
[9]
[4]
[2]