Vegetarians don't eat meat. Bill is a vegetarian. Pork is a kind of meat. Therefore, Bill...
Vegetarians don't eat meat. Bill is a vegetarian. Pork is a kind of meat. Therefore, Bill does not eat pork Identify the correct answer Ananya: define the predicates Mtx)- "x is a vegetarian." Mty)- y is meat." E(x)) = "X eats y.. The variable x represents people, the variable y represents foods. 1. vx.y (V(x) M(y)--Eb,y) ) (premise) 2. V(Bill) (premise) 3. M(Pork) (premise) 4MBill) M(Pork) (conjunction from 2. and 3.) 5·VfBill) M(Pork)--E(Bill,Pork)(universal instantiation of 1.) 6. -E(Bill, Pork) (modus ponens from 4. and 5.) Sai: define the predicates M "meat" P = "pork" Etx.y)- "x eats y". E takes as its first input a person and as its second input a food. 1.vx.y(-EN, M)) (premise) 3.E(Bill, M) (universal instantiation of 1) 4.-E(Bill, P) (substituting 2. into 3.) Vihaan: define the predicates ix) "x is a vegetarian. B(x) = "X is Bill." Mty)- y is meat." Pty)- "y is pork. Eb,y) = "X eats y". x is a person, y is a food. 1. vxytWx)a M(y) →-E(x,y)) (premise) 2. VX (3(x) → V(x))(premise) 3. vy (Pty) → M(y)) (premise) 4. vx, y ( B(x)a Pty) → Vic)a M(y) ) (universal conjunction from 2. and 3) 5. vx, y ( B(x)a Pty) →-Eby)) (universal hypothetical syllogism from 1. and 4) Kayaan: the predicates are: V- vegetarian M meat P pork 1, V →-M (premise) 2. V(Bill (premise) 3.P→ M (premise) 4·VfBill)-﹁M(Bill)(universal instantiation of l.) 5. P(Bill)→M(Bill) (universal instantiation of 3.) 6.-M(Bill)→ Bill) (contrapositive of 5.) 7. VIBill- P(Bill) (hypothetical syllogism from 4. and 6.) 8. PBil (modus ponens from 2. and 7.