Post on 01-Jan-2016
description
transcript
Existential Out
The Existential Out rule is DANGEROUS.
#x(Bx&Mx) Some BUNNIES are MARRIED. Ba&Ma Anne is a married bunny.
INVALID!
Existential Out
The Existential Out rule is DANGEROUS.
#x(Bx&Mx) Some BUNNIES are MARRIED. Bn&Mn n is a married bunny.
BARELY OKProvided that n
is a brand new name.
Existential Out
The Existential Out rule is DANGEROUS.
#x(Bx&Mx) Some BUNNIES are MARRIED. Bn&Mn n is a married bunny.
BARELY OKn is like a new
social security number.
Existential Out
The Existential Out rule is DANGEROUS.
#x(Bx&Mx) Some BUNNIES are MARRIED. Bn&Mn n is a married bunny.
BARELY OKn is like a new
social security number.
Existential Out
The Existential Out rule is DANGEROUS.
#x(Bx&Mx) Some BUNNIES are MARRIED. Bn&Mn n is a married bunny.
WATCH OUT!There are extra deductionsfor violating the restriction
on the EO rule.
Existential Out
The Existential Out rule is DANGEROUS.
#x(Bx&Mx) Some BUNNIES are MARRIED. Bn&Mn n is a married bunny.
WATCH OUT!There are extra deductionsfor violating the restriction
on the EO rule.
The EO Restriction:The letter chosen for the instance must
be new to the proof.
Sample Proof
1) #x(Bx&Mx) A2) $x(Mx>-Vx) A3) $x(Bx>Vx) PA4) Ba&Ma 1 #O
?&-? ?,? &I -$x(Bx>Vx) 3-? -I
Sample Proof
1) #x(Bx&Mx) A2) $x(Mx>-Vx) A3) $x(Bx>Vx) PA4) Ba&Ma 1 #O5) Ma>-Va 2 $O
?&-? ?,? &I -$x(Bx>Vx) 3-? -I
Sample Proof
1) #x(Bx&Mx) A2) $x(Mx>-Vx) A3) $x(Bx>Vx) PA4) Ba&Ma 1 #O5) Ma>-Va 2 $O6) Ba>Va 3 $O
?&-? ?,? &I -$x(Bx>Vx) 3-? -I
Sample Proof
1) #x(Bx&Mx) A2) $x(Mx>-Vx) A3) $x(Bx>Vx) PA4) Ba&Ma 1 #O5) Ma>-Va 2 $O6) Ba>Va 3 $O7) Ba 4 &O8) Ma 4 &O
?&-? ?,? &I -$x(Bx>Vx) 3-? -I
Sample Proof
1) #x(Bx&Mx) A2) $x(Mx>-Vx) A3) $x(Bx>Vx) PA4) Ba&Ma 1 #O5) Ma>-Va 2 $O6) Ba>Va 3 $O7) Ba 4 &O8) Ma 4 &O9) Va 6,7 >O
?&-? ?,? &I -$x(Bx>Vx) 3-? -I
Sample Proof
1) #x(Bx&Mx) A2) $x(Mx>-Vx) A3) $x(Bx>Vx) PA4) Ba&Ma 1 #O5) Ma>-Va 2 $O6) Ba>Va 3 $O7) Ba 4 &O8) Ma 4 &O9) Va 6,7 >O10) -Va 5,8 >O ?&-? ?,? &I -$x(Bx>Vx) 3-? -I
Sample Proof
1) #x(Bx&Mx) A2) $x(Mx>-Vx) A3) $x(Bx>Vx) PA4) Ba&Ma 1 #O5) Ma>-Va 2 $O6) Ba>Va 3 $O7) Ba 4 &O8) Ma 4 &O9) Va 6,7 >O10) -Va 5,8 >O11) Va&-Va 9,10 &I -$x(Bx>Vx) 3-11 -I
EO Strategy
1) #x(Bx&Mx) A2) $x(Mx>-Vx) A3) $x(Bx>Vx) PA4) Ba>Va 3 $O5) Ma>-Va 2 $O
?&-? ?,? &I -$x(Bx>Vx) 3-? -I
EO Strategy
1) #x(Bx&Mx) A2) $x(Mx>-Vx) A3) $x(Bx>Vx) PA4) Ba>Va 3 $O5) Ma>-Va 2 $O6) Ba&Ma 1 #O
?&-? ?,? &I -$x(Bx>Vx) 3-? -I
EO Strategy
1) #x(Bx&Mx) A2) $x(Mx>-Vx) A3) $x(Bx>Vx) PA4) Ba>Va 3 $O5) Ma>-Va 2 $O6) Ba&Ma 1 #O
?&-? ?,? &I -$x(Bx>Vx) 3-? -I
#O Restriction VIOLATED!
EO Strategy
1) #x(Bx&Mx) A2) $x(Mx>-Vx) A3) $x(Bx>Vx) PA4) Ba>Va 3 $O5) Ma>-Va 2 $O6) Ba&Ma 1 #O
?&-? ?,? &I -$x(Bx>Vx) 3-? -I
#O Restriction VIOLATED!ADVICE: DO #O FIRST!
EO Strategy
1) #x(Bx&Mx) A2) $x(Mx>-Vx) A3) $x(Bx>Vx) PA4) Ba&Ma 1 #O5) Ma>-Va 2 $O6) Ba>Va 3 $O
?&-? ?,? &I -$x(Bx>Vx) 3-? -I
#O Restriction VIOLATED!ADVICE: DO #O FIRST!
For more click here