How do you represent “All dogs have tails”?
A. ۷x: dog(x) àhastail(x)
B. ۷x: dog(x) àhastail(y)
C. ۷x: dog(y) àhastail(x)
D. ۷x: dog(x) àhasàtail(x)
Answer:A
How do you represent “All dogs have tails”?
A. ۷x: dog(x) àhastail(x) B. ۷x: dog(x) àhastail(y) C. ۷x: dog(y) àhastail(x) D. ۷x: dog(x) àhasàtail(x)
Explanation: We represent the statement in mathematical logic taking ‘x ‘as Dog and which has tail. We cannot represent two variable x, y for the same object Dog that has tail. The symbol “۷