existential out
Download
Skip this Video
Download Presentation
Existential Out

Loading in 2 Seconds...

play fullscreen
1 / 22

Existential Out - PowerPoint PPT Presentation


  • 182 Views
  • Uploaded on

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 .

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about ' Existential Out' - wyoming-irwin


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.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
existential out
Existential Out

The Existential Out rule is DANGEROUS.

existential out1
Existential Out

The Existential Out rule is DANGEROUS.

#x(Bx&Mx) Some BUNNIES are MARRIED.

Ba&Ma Anne is a married bunny.

INVALID!

existential out2
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.

existential out3
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.

existential out4
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.

existential out5
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.

existential out6
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.

sample proof
Sample Proof

1) #x(Bx&Mx) A

2) $x(Mx>-Vx) A

-$x(Bx>Vx) GOAL

sample proof1
Sample Proof

1) #x(Bx&Mx) A

2) $x(Mx>-Vx) A

3) $x(Bx>Vx) PA

?&-? ?,? &I

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

sample proof2
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

sample proof3
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

sample proof4
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

sample proof5
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

sample proof6
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

sample proof7
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

sample proof8
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

eo strategy
EO Strategy

1) #x(Bx&Mx) A

2) $x(Mx>-Vx) A

3) $x(Bx>Vx) PA

?&-? ?,? &I

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

eo strategy1
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

eo strategy2
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

eo strategy3
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!

eo strategy4
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!

eo strategy5
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

ad