2. Wedge Out (vOut) BIG MISTAKE: 1. PvQ 2. P 1 vO

3. Wedge Out (vOut) BIG MISTAKE: 1. PvQ 2. P 1 vO This is NOT vOut, and besides... the reasoning is INVALID!

4. Wedge Out (vOut) So What is Wedge Out? Wedge Out is a THREE PREMISE RULE. a.k.a (Simple Constructive) Dilemma

5. Wedge Out (vOut) So What is Wedge Out? Wedge Out is a THREE PREMISE RULE. a.k.a (Simple Constructive) Dilemma An illustration of a Dilemma: We have to use CHEMO or RADIATION. CvR If CHEMO then the patient SUFFERS.C > S If RADIATION then the patient SUFFERS.R > S So the patient SUFFERS.S

6. Wedge Out (vOut) So What is Wedge Out? Wedge Out is a THREE PREMISE RULE. a.k.a (Simple Constructive) Dilemma A v B A > G B > G G

7. Wedge Out (vOut) So What is Wedge Out? Wedge Out is a THREE PREMISE RULE. a.k.a (Simple Constructive) Dilemma A v B A > G B > G G A v B G

8. Wedge Out Strategy How to use vOut. A v B A > G B > G G 1. AvMA MvAGOAL A v B G

9. Wedge Out Strategy How to use vOut. A v B A > G B > G G A v B G 1. AvMA MvA1,?,? vO When a disjunction is available, use the vOut strategy.

10. Wedge Out Strategy How to use vOut. A v B A > G B > G G A v B G 1. AvMA MvA1,?,? vO Missing Conditionals

11. Wedge Out Strategy How to use vOut. A v B A > G B > G G A v B G 1. AvMA MvA1,?,? vO Missing Conditionals

12. Wedge Out Strategy How to use vOut. A v B A > G B > G G A v B G 1. AvMA A > (MvA)GOAL M > (MvA)GOAL MvA1,?,? vO Make the missing conditionals new goals.

13. Wedge Out Strategy How to use vOut. A v B A > G B > G G A v B G 1. AvMA A > (MvA)?-? > I M > (MvA)GOAL MvA1,?,? vO Use the > In strategy to get the first goal.

14. Wedge Out Strategy How to use vOut. A v B A > G B > G G A v B G 1. AvMA 2. APA MvA GOAL A > (MvA)2-? > I M > (MvA)GOAL MvA1,?,? vO How to get MvA?

15. Wedge Out Strategy How to use vOut. A v B A > G B > G G A v B G 1. AvMA 2. APA 3. MvA2 vI 4. A > (MvA)2-3 > I M > (MvA)GOAL MvA1,?,? vO Just use vI!

16. Wedge Out Strategy How to use vOut. A v B A > G B > G G A v B G 1. AvMA 2. APA 3. MvA2 vI 4. A > (MvA)2-3 > I MPA MvA GOAL M > (MvA)?-? > I MvA1,?,? vO Use the > I strategy to get the second goal.

17. Wedge Out Strategy How to use vOut. A v B A > G B > G G A v B G 1. AvMA 2. APA 3. MvA2 vI 4. A > (MvA)2-3 > I 5. MPA 6. MvA5 vI 7. M > (MvA)5-6 > I 8. MvA1,4,7 vO... and finish the second subproof the same way.

18. Wedge Out Strategy Summary of the vOut Strategy: Whenever AvB is available, and G is your goal... A v B G GOAL A v B G

19. Wedge Out Strategy Summary of the vOut Strategy: Whenever AvB is available, and G is your goal... calculate the missing conditionals (namely A > G and B > G) and make them new goals. When these conditionals are proven, your old goal will follow by vOut. A v B A > G GOAL B > G GOAL G ?,?,? vO A v B G For more click here