Artificial Intelligence MCQ
How do you represent "All dogs have tails"?
A)
۷x: dog(y) àhastail(x)
B)
۷x: dog(x) àhastail(y)
C)
۷x: dog(x) àhastail(x)
D)
۷x: dog(x) àhasàtail(x)

Correct Answer : Option (C) :   ۷x: dog(x) àhastail(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 “۷ “represent all.