Как бы вы ответили на этот вопрос, используя квантификаторы и логические операторы

Question

Пусть ? (?) - утверждение «? студент», ? (?) - утверждение «professor профессор», а ? (?, ?) - утверждение «? задал вопрос ?».Если область of и ? состоит из всех людей, выразите каждое из следующих предложений в терминах ? (?), ? (?), ? (?, ?), квантификаторов и логических операторов.

Пример: какой-то студент задал вопрос каждому профессору.Ответ: ∃? (? (?) ∧ ∀? (? (?) → ? (?, ?)))

Вопрос: Есть два разных ученика, которые задали друг другу вопрос.

Answer 1

Вот формула:

∃ x, y ( x <> y ∧ S(x) ∧ S(y) ∧ Q(x, y) ∧ Q(y, x) )

Давайте переведем обратно на английский:

∃ x, y               There are two
x <> y               different
S(x) ∧ S(y)          students
Q(x, y) ∧ Q(y, x)    who have asked each other a question.