existential out

Download Existential Out

Post on 01-Jan-2016

48 views

Category:

Documents

0 download

Embed Size (px)

DESCRIPTION

Existential Out. The Existential Out rule is DANGEROUS. 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 . - PowerPoint PPT Presentation

TRANSCRIPT

  • Existential OutThe Existential Out rule is DANGEROUS.

  • Existential OutThe Existential Out rule is DANGEROUS.

    #x(Bx&Mx) Some BUNNIES are MARRIED. Ba&Ma Anne is a married bunny.INVALID!

  • Existential OutThe 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 OutThe 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 OutThe 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 OutThe 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 restrictionon the EO rule.

  • Existential OutThe 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 restrictionon the EO rule.

    The EO Restriction:The letter chosen for the instance mustbe new to the proof.

  • Sample Proof1) #x(Bx&Mx)A2) $x(Mx>-Vx)A

    -$x(Bx>Vx) GOAL

  • Sample Proof1) #x(Bx&Mx)A2) $x(Mx>-Vx)A3) $x(Bx>Vx)PA

    ?&-??,? &I -$x(Bx>Vx) 3-? -I

  • Sample Proof1) #x(Bx&Mx)A2) $x(Mx>-Vx)A3) $x(Bx>Vx)PA4) Ba&Ma1 #O

    ?&-??,? &I -$x(Bx>Vx) 3-? -I

  • Sample Proof1) #x(Bx&Mx)A2) $x(Mx>-Vx)A3) $x(Bx>Vx)PA4) Ba&Ma1 #O5) Ma>-Va2 $O

    ?&-??,? &I -$x(Bx>Vx) 3-? -I

  • Sample Proof1) #x(Bx&Mx)A2) $x(Mx>-Vx)A3) $x(Bx>Vx)PA4) Ba&Ma1 #O5) Ma>-Va2 $O6) Ba>Va3 $O

    ?&-??,? &I -$x(Bx>Vx) 3-? -I

  • Sample Proof1) #x(Bx&Mx)A2) $x(Mx>-Vx)A3) $x(Bx>Vx)PA4) Ba&Ma1 #O5) Ma>-Va2 $O6) Ba>Va3 $O7) Ba4 &O8) Ma4 &O

    ?&-??,? &I -$x(Bx>Vx) 3-? -I

  • Sample Proof1) #x(Bx&Mx)A2) $x(Mx>-Vx)A3) $x(Bx>Vx)PA4) Ba&Ma1 #O5) Ma>-Va2 $O6) Ba>Va3 $O7) Ba4 &O8) Ma4 &O9) Va6,7 >O

    ?&-??,? &I -$x(Bx>Vx) 3-? -I

  • Sample Proof1) #x(Bx&Mx)A2) $x(Mx>-Vx)A3) $x(Bx>Vx)PA4) Ba&Ma1 #O5) Ma>-Va2 $O6) Ba>Va3 $O7) Ba4 &O8) Ma4 &O9) Va6,7 >O10) -Va5,8 >O ?&-??,? &I -$x(Bx>Vx) 3-? -I

  • Sample Proof1) #x(Bx&Mx)A2) $x(Mx>-Vx)A3) $x(Bx>Vx)PA4) Ba&Ma1 #O5) Ma>-Va2 $O6) Ba>Va3 $O7) Ba4 &O8) Ma4 &O9) Va6,7 >O10) -Va5,8 >O11) Va&-Va9,10 &I -$x(Bx>Vx) 3-11 -I

  • EO Strategy1) #x(Bx&Mx)A2) $x(Mx>-Vx)A3) $x(Bx>Vx)PA

    ?&-??,? &I -$x(Bx>Vx) 3-? -I

  • EO Strategy1) #x(Bx&Mx)A2) $x(Mx>-Vx)A3) $x(Bx>Vx)PA4) Ba>Va3 $O5) Ma>-Va2 $O

    ?&-??,? &I -$x(Bx>Vx) 3-? -I

  • EO Strategy1) #x(Bx&Mx)A2) $x(Mx>-Vx)A3) $x(Bx>Vx)PA4) Ba>Va3 $O5) Ma>-Va2 $O6) Ba&Ma1 #O

    ?&-??,? &I -$x(Bx>Vx) 3-? -I

  • EO Strategy1) #x(Bx&Mx)A2) $x(Mx>-Vx)A3) $x(Bx>Vx)PA4) Ba>Va3 $O5) Ma>-Va2 $O6) Ba&Ma1 #O

    ?&-??,? &I -$x(Bx>Vx) 3-? -I

    #O Restriction VIOLATED!

  • EO Strategy1) #x(Bx&Mx)A2) $x(Mx>-Vx)A3) $x(Bx>Vx)PA4) Ba>Va3 $O5) Ma>-Va2 $O6) Ba&Ma1 #O

    ?&-??,? &I -$x(Bx>Vx) 3-? -I

    #O Restriction VIOLATED!ADVICE: DO #O FIRST!

  • EO Strategy1) #x(Bx&Mx)A2) $x(Mx>-Vx)A3) $x(Bx>Vx)PA4) Ba&Ma1 #O5) Ma>-Va2 $O6) Ba>Va3 $O

    ?&-??,? &I -$x(Bx>Vx) 3-? -I

    #O Restriction VIOLATED!ADVICE: DO #O FIRST!For more click here