Wedge Out (vOut)

1
Wedge Out (vOut)
BIG MISTAKE 1. PvQ 2. P 1 vO
2
Wedge Out (vOut)
BIG MISTAKE 1. PvQ 2. P 1 vO This is
NOT vOut, and besides... the reasoning is
INVALID!
3
Wedge Out (vOut)
So What is Wedge Out? Wedge Out is a THREE
PREMISE RULE. a.k.a (Simple Constructive) Dilemma
4
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. CgtS If RADIATION then
the patient SUFFERS. RgtS So the patient
SUFFERS. S
5
Wedge Out (vOut)
So What is Wedge Out? Wedge Out is a THREE
PREMISE RULE. a.k.a (Simple Constructive) Dilemma
A v B AgtG BgtG G
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 AgtG BgtG G
A v B
G
7
Wedge Out Strategy
How to use vOut.
1. AvM A MvA GOAL
8
Wedge Out Strategy
How to use vOut.
1. AvM A MvA 1,?,? vO
When a disjunction is available, use the vOut
strategy.
9
Wedge Out Strategy
How to use vOut.
1. AvM A MvA 1,?,? vO
A v B
G
10
Wedge Out Strategy
How to use vOut.
1. AvM A MvA 1,?,? vO
A v B
Missing Conditionals
G
11
Wedge Out Strategy
How to use vOut.
1. AvM A Agt(MvA) GOAL
Mgt(MvA) GOAL MvA 1,?,? vO
Make the missing conditionals new goals.
12
Wedge Out Strategy
How to use vOut.
1. AvM A Agt(MvA) ?-? gtI
Mgt(MvA) GOAL MvA 1,?,? vO
Use the gtIn strategy to get the first goal.
13
Wedge Out Strategy
How to use vOut.
1. AvM A 2. A PA MvA GOAL
Agt(MvA) 2-? gtI Mgt(MvA) GOAL MvA 1,?,?
vO
How to get MvA?
14
Wedge Out Strategy
How to use vOut.
1. AvM A 2. A PA 3. MvA 2 vI 4. Agt(MvA) 2-3
gtI Mgt(MvA) GOAL MvA 1,?,? vO
Just use vI!
15
Wedge Out Strategy
How to use vOut.
1. AvM A 2. A PA 3. MvA 2 vI 4. Agt(MvA) 2-3
gtI M PA MvA GOAL
Mgt(MvA) ?-? gtI MvA 1,?,? vO
Use the gtI strategy to get the second goal.
16
Wedge Out Strategy
How to use vOut.
1. AvM A 2. A PA 3. MvA 2 vI 4. Agt(MvA) 2-3
gtI 5. M PA 6. MvA 5 vI 7. Mgt(MvA) 5-6 gtI 8.
MvA 1,4,7 vO
... and finish the second subproof the same way.
17
Wedge Out Strategy
Summary of the vOut Strategy Whenever AvB is
available, and G is your goal ...
A v B G GOAL
18
Wedge Out Strategy
Summary of the vOut Strategy Whenever AvB is
available, and G is your goal ... calculate the
missing conditionals (namely AgtG and BgtG) and
make them new goals. When these conditionals are
proven, your old goal will follow by vOut.
A v B AgtG GOAL BgtG GOAL G ?,?,? vO
For more click here