This preview shows page 1. Sign up to view the full content.
Unformatted text preview: (~ 5 x (Has(Joe,x) ^ Dog(x))) => Scary(Joe) d) Either Joe has at least one cat and at least one dog or he is scary (but not both at the same time). 5 x,y (Has(Joe,x) ^ Has(Joe,y) ^ Dog(x) ^ Cat(y)) <=> ~Scary(Joe) e) Not all dogs are both scary and cute. ~ 2200 x (Dog(x) => (Scary(x) ^ Cute(x)))...
View Full Document
- Fall '08