12.1.09 - A elim:1 Ay(loves(b,y) y=i) & elmin:2 Loves...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
E before A Don’t introduce subproofs without a reason Not everything is P(x) ~AxP(x) E~p(x) Something is not p(x) Prove that the singer is her own baby. Loves(x,y) = x loves y I= singer B = singer’s baby Everybody loves my baby, but my baby don’t love nobody but me Ax Loves(x,b) ExAy (Loves(b,x) & (Loves(y,x) y=i) = y=i) - Loves(b,b)
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: A elim:1 Ay(loves(b,y) y=i) & elmin:2 Loves (b,b) b=i) A elim:4 B=I There are at least two cubes, but theres only one small thing. Therefore, not all cubes are small The dodecahedron is small. Therefore, all dodecahedrons are small ExEy (Cube(x) & Cube(y) & x =/ y) ExAy (Small(x) & (Small(y) y=/x))-~Ax(Cube(x) Small(x))...
View Full Document

This note was uploaded on 12/14/2009 for the course INTRO TO L 730:201 taught by Professor Professor during the Spring '09 term at Rutgers.

Ask a homework question - tutors are online