Existential out
This presentation is the property of its rightful owner.
Sponsored Links
1 / 22

Existential Out PowerPoint PPT Presentation


  • 136 Views
  • Uploaded on
  • Presentation posted in: General

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 .

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.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&Ma1 #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&Ma1 #O

5) Ma>-Va2 $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&Ma1 #O

5) Ma>-Va2 $O

6) Ba>Va3 $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&Ma1 #O

5) Ma>-Va2 $O

6) Ba>Va3 $O

7) Ba4 &O

8) Ma4 &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&Ma1 #O

5) Ma>-Va2 $O

6) Ba>Va3 $O

7) Ba4 &O

8) Ma4 &O

9) Va6,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&Ma1 #O

5) Ma>-Va2 $O

6) Ba>Va3 $O

7) Ba4 &O

8) Ma4 &O

9) Va6,7 >O

10) -Va5,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&Ma1 #O

5) Ma>-Va2 $O

6) Ba>Va3 $O

7) Ba4 &O

8) Ma4 &O

9) Va6,7 >O

10) -Va5,8 >O

11) Va&-Va9,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>Va3 $O

5) Ma>-Va2 $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>Va3 $O

5) Ma>-Va2 $O

6) Ba&Ma1 #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>Va3 $O

5) Ma>-Va2 $O

6) Ba&Ma1 #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>Va3 $O

5) Ma>-Va2 $O

6) Ba&Ma1 #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&Ma1 #O

5) Ma>-Va2 $O

6) Ba>Va3 $O

?&-??,? &I

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

#O Restriction VIOLATED!

ADVICE: DO #O FIRST!

For more click here


  • Login