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)
(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)