Download - Wedge In1 (vIn)

Transcript
Page 1: Wedge In1 (vIn)

Wedge In1 (vIn)

1 1. (FvA)>G A [1]

1 F>G GOAL [2]

Page 2: Wedge In1 (vIn)

Wedge In (vIn)

1 1. (FvA)>G A [1]2 2. F PA [3]

G GOAL [4]1 F>G 2-? >I [2]

Page 3: Wedge In1 (vIn)

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]

Page 4: Wedge In1 (vIn)

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

Page 5: Wedge In1 (vIn)

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

Page 6: Wedge In1 (vIn)

Wedge In (vIn)

vIn A A

AvB BvA

Page 7: Wedge In1 (vIn)

Wedge In (vIn)

1. P&Q A2. P 1 &O3. Q 1 &O4. PvQ 1,2 vI

vIn A A

AvB BvA

Page 8: Wedge In1 (vIn)

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

Page 9: Wedge In1 (vIn)

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

Page 10: Wedge In1 (vIn)

Wedge In (vIn)

1 1. -(OvB) A [1]

1 -O&-B ?,? &I [2]

Page 11: Wedge In1 (vIn)

Wedge In (vIn)

1 1. -(OvB) A [1]

1 -O GOAL [3]

1 -B GOAL [4]1 -O&-B ?,? &I [2]

Page 12: Wedge In1 (vIn)

Wedge In (vIn)

1 1. -(OvB) A [1]

1 -O ?-? -I [3]

1 -B GOAL [4]1 -O&-B ?,? &I [2]

Page 13: Wedge In1 (vIn)

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]

Page 14: Wedge In1 (vIn)

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]

Page 15: Wedge In1 (vIn)

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]

Page 16: Wedge In1 (vIn)

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]

Page 17: Wedge In1 (vIn)

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]

Page 18: Wedge In1 (vIn)

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]

Page 19: Wedge In1 (vIn)

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]

Page 20: Wedge In1 (vIn)

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]

Page 21: Wedge In1 (vIn)

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