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