This preview shows page 1. Sign up to view the full content.
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.
- Spring '09