Logic.Homework9 - Everything small is also a cube D is...

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

View Full Document Right Arrow Icon
Kevin Chang Homework #9 116001990 10.14 Tautology A B ~(A=B) 10.15 Tautology A ~B ~(A=B) 10.16 Tautology A B ~(A=B) 10.17 First-order validity If everything is a dodecahedron, then it is not the same column as C Therefore, C is not a dodecahedron A ~B A does not equal B 10.18 First-order validity
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Everything small is also a cube D is small Therefore, it D is small 10.19 First order validity If everything is small, then its a cube If everything is a cube, its left of c Therefore, nothing is small and not to the left of c...
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