180 likes | 344 Views
Wedge Out (vOut). BIG MISTAKE: 1. PvQ 2. P 1 vO. Wedge Out (vOut). BIG MISTAKE: 1. PvQ 2. P 1 vO This is NOT vOut, and besides... the reasoning is INVALID!. Wedge Out (vOut). So What is Wedge Out? Wedge Out is a THREE PREMISE RULE.
E N D
Wedge Out (vOut) BIG MISTAKE: 1. PvQ 2. P 1 vO
Wedge Out (vOut) BIG MISTAKE: 1. PvQ 2. P 1 vO This is NOT vOut, and besides... the reasoning is INVALID!
Wedge Out (vOut) So What is Wedge Out? Wedge Out is a THREE PREMISE RULE. a.k.a (Simple Constructive) Dilemma
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
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
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
Wedge Out Strategy A v B A>G B>G G A v B G How to use vOut. 1. AvM A MvA GOAL
Wedge Out Strategy A v B A>G B>G G A v B G How to use vOut. 1. AvM A MvA 1,?,? vO When a disjunction is available, use the vOut strategy.
Wedge Out Strategy Missing Conditionals A v B A>G B>G G How to use vOut. 1. AvM A MvA 1,?,? vO A v B G
Wedge Out Strategy A v B A>G B>G G How to use vOut. 1. AvM A MvA 1,?,? vO A v B Missing Conditionals G
Wedge Out Strategy A v B A>G B>G G A v B G How to use vOut. 1. AvM A A>(MvA) GOAL M>(MvA) GOAL MvA 1,?,? vO Make the missing conditionals new goals.
Wedge Out Strategy A v B A>G B>G G A v B G How to use vOut. 1. AvM A A>(MvA) ?-? >I M>(MvA) GOAL MvA 1,?,? vO Use the >In strategy to get the first goal.
Wedge Out Strategy A v B A>G B>G G A v B G How to use vOut. 1. AvM A 2. A PA MvA GOAL A>(MvA) 2-? >I M>(MvA) GOAL MvA 1,?,? vO How to get MvA?
Wedge Out Strategy A v B A>G B>G G A v B G How to use vOut. 1. AvM A 2. A PA 3. MvA 2 vI 4. A>(MvA) 2-3 >I M>(MvA) GOAL MvA 1,?,? vO Just use vI!
Wedge Out Strategy A v B A>G B>G G A v B G How to use vOut. 1. AvM A 2. A PA 3. MvA 2 vI 4. A>(MvA) 2-3 >I M PA MvA GOAL M>(MvA) ?-? >I MvA 1,?,? vO Use the >I strategy to get the second goal.
Wedge Out Strategy A v B A>G B>G G A v B G How to use vOut. 1. AvM A 2. A PA 3. MvA 2 vI 4. A>(MvA) 2-3 >I 5. M PA 6. MvA 5 vI 7. M>(MvA) 5-6 >I 8. MvA 1,4,7 vO ... and finish the second subproof the same way.
Wedge Out Strategy A v B G Summary of the vOut Strategy: Whenever AvB is available, and G is your goal ... A v B G GOAL
Wedge Out Strategy A v B G 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 For more click here