一阶谓词演算语句等同于以下内容?
每个老师都被某个学生喜欢
(A) ∀(x)[老师(x)→∃(y)[学生(y)→喜欢(y，x)]]]
(B) ∀(x)[教师(x)→∃(y)[学生(y)^喜欢(y，x)]]
(C) ∃(y)∀(x)[老师(x)→[学生(y)^喜欢(y，x)]]
(D) ∀(x)[老师(x)^∃(y)[学生(y)→点赞(y，x)]]答案： (B)
说明：答案是B]陈述：如果X是老师，那么存在一些Y是学生并且喜欢X。
A]陈述：如果X是老师，则存在一个Y，如果Y是学生，则Y喜欢X。
C]陈述：有一个学生喜欢所有老师。
D]陈述：每个人都是老师，并且存在一个Y，使得如果Y是学生，则y喜欢X。
这个问题的测验