How do you represent “All dogs have tails”?
۷x: dog(x) àhastail(x)
Well Done. Your Answer is Correct Keep it Up! 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.
۷x: dog(x) àhastail(y)
۷x: dog(y) àhastail(x)
۷x: dog(x) àhasàtail(x)