1 / 22

Existential Out

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 .

wyoming-irwin
Download Presentation

Existential Out

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Existential Out The Existential Out rule is DANGEROUS.

  2. Existential Out The Existential Out rule is DANGEROUS. #x(Bx&Mx) Some BUNNIES are MARRIED. Ba&Ma Anne is a married bunny. INVALID!

  3. Existential Out The Existential Out rule is DANGEROUS. #x(Bx&Mx) Some BUNNIES are MARRIED. Bn&Mn n is a married bunny. BARELY OK Provided that n is a brand new name.

  4. Existential Out The Existential Out rule is DANGEROUS. #x(Bx&Mx) Some BUNNIES are MARRIED. Bn&Mn n is a married bunny. BARELY OK n is like a new social security number.

  5. Existential Out The Existential Out rule is DANGEROUS. #x(Bx&Mx) Some BUNNIES are MARRIED. Bn&Mn n is a married bunny. BARELY OK n is like a new social security number.

  6. 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 deductions for violating the restriction on the EO rule.

  7. 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 deductions for violating the restriction on the EO rule. The EO Restriction: The letter chosen for the instance must be new to the proof.

  8. Sample Proof 1) #x(Bx&Mx) A 2) $x(Mx>-Vx) A -$x(Bx>Vx) GOAL

  9. Sample Proof 1) #x(Bx&Mx) A 2) $x(Mx>-Vx) A 3) $x(Bx>Vx) PA ?&-? ?,? &I -$x(Bx>Vx) 3-? -I

  10. Sample Proof 1) #x(Bx&Mx) A 2) $x(Mx>-Vx) A 3) $x(Bx>Vx) PA 4) Ba&Ma 1 #O ?&-? ?,? &I -$x(Bx>Vx) 3-? -I

  11. Sample Proof 1) #x(Bx&Mx) A 2) $x(Mx>-Vx) A 3) $x(Bx>Vx) PA 4) Ba&Ma 1 #O 5) Ma>-Va 2 $O ?&-? ?,? &I -$x(Bx>Vx) 3-? -I

  12. Sample Proof 1) #x(Bx&Mx) A 2) $x(Mx>-Vx) A 3) $x(Bx>Vx) PA 4) Ba&Ma 1 #O 5) Ma>-Va 2 $O 6) Ba>Va 3 $O ?&-? ?,? &I -$x(Bx>Vx) 3-? -I

  13. Sample Proof 1) #x(Bx&Mx) A 2) $x(Mx>-Vx) A 3) $x(Bx>Vx) PA 4) Ba&Ma 1 #O 5) Ma>-Va 2 $O 6) Ba>Va 3 $O 7) Ba 4 &O 8) Ma 4 &O ?&-? ?,? &I -$x(Bx>Vx) 3-? -I

  14. Sample Proof 1) #x(Bx&Mx) A 2) $x(Mx>-Vx) A 3) $x(Bx>Vx) PA 4) Ba&Ma 1 #O 5) Ma>-Va 2 $O 6) Ba>Va 3 $O 7) Ba 4 &O 8) Ma 4 &O 9) Va 6,7 >O ?&-? ?,? &I -$x(Bx>Vx) 3-? -I

  15. Sample Proof 1) #x(Bx&Mx) A 2) $x(Mx>-Vx) A 3) $x(Bx>Vx) PA 4) Ba&Ma 1 #O 5) Ma>-Va 2 $O 6) Ba>Va 3 $O 7) Ba 4 &O 8) Ma 4 &O 9) Va 6,7 >O 10) -Va 5,8 >O ?&-? ?,? &I -$x(Bx>Vx) 3-? -I

  16. Sample Proof 1) #x(Bx&Mx) A 2) $x(Mx>-Vx) A 3) $x(Bx>Vx) PA 4) Ba&Ma 1 #O 5) Ma>-Va 2 $O 6) Ba>Va 3 $O 7) Ba 4 &O 8) Ma 4 &O 9) Va 6,7 >O 10) -Va 5,8 >O 11) Va&-Va 9,10 &I -$x(Bx>Vx) 3-11 -I

  17. EO Strategy 1) #x(Bx&Mx) A 2) $x(Mx>-Vx) A 3) $x(Bx>Vx) PA ?&-? ?,? &I -$x(Bx>Vx) 3-? -I

  18. EO Strategy 1) #x(Bx&Mx) A 2) $x(Mx>-Vx) A 3) $x(Bx>Vx) PA 4) Ba>Va 3 $O 5) Ma>-Va 2 $O ?&-? ?,? &I -$x(Bx>Vx) 3-? -I

  19. EO Strategy 1) #x(Bx&Mx) A 2) $x(Mx>-Vx) A 3) $x(Bx>Vx) PA 4) Ba>Va 3 $O 5) Ma>-Va 2 $O 6) Ba&Ma 1 #O ?&-? ?,? &I -$x(Bx>Vx) 3-? -I

  20. EO Strategy 1) #x(Bx&Mx) A 2) $x(Mx>-Vx) A 3) $x(Bx>Vx) PA 4) Ba>Va 3 $O 5) Ma>-Va 2 $O 6) Ba&Ma 1 #O ?&-? ?,? &I -$x(Bx>Vx) 3-? -I #O Restriction VIOLATED!

  21. EO Strategy 1) #x(Bx&Mx) A 2) $x(Mx>-Vx) A 3) $x(Bx>Vx) PA 4) Ba>Va 3 $O 5) Ma>-Va 2 $O 6) Ba&Ma 1 #O ?&-? ?,? &I -$x(Bx>Vx) 3-? -I #O Restriction VIOLATED! ADVICE: DO #O FIRST!

  22. EO Strategy 1) #x(Bx&Mx) A 2) $x(Mx>-Vx) A 3) $x(Bx>Vx) PA 4) Ba&Ma 1 #O 5) Ma>-Va 2 $O 6) Ba>Va 3 $O ?&-? ?,? &I -$x(Bx>Vx) 3-? -I #O Restriction VIOLATED! ADVICE: DO #O FIRST! For more click here

More Related