Условие:
Рассмотреть несколько утверждений, связанных с предикатом на множестве людей K(x, y) с интерпретацией «человек x знает человека y».

Рассмотреть несколько утверждений, связанных с предикатом на множестве людей K(x, y) с интерпретацией «человек x знает человека y».
x y K(x, y)
x y K(x, y)