Условие:
Ввести необходимые предикаты и построить формулу алгебры предикатов, выражающую следующее утверждение:
2. «Найдется черный шар, лежащий под всеми черными квадратами».
Решение:
Из формулировки утверждения видно, что нам понадобятся следующие предикаты:
Р(х) х черный шар
Q(y) y черный квадрат;
R(х, у) предмет х лежит под предметом у.
Переформулируем это утверждение так, чтобы...