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

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