How do you represent All dogs have tails?

Q & ACategory: Artificial IntelligenceHow do you represent All dogs have tails?
Admin Staff asked 4 years ago

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)

1 Answers
Admin Staff answered 4 years ago

a) ۷x: dog(x) àhastail(x)