Ввести необходимые предикаты и построить формулу алгебры предикатов, выражающую следующее утверждение:

Из формулировки утверждения видно, что нам понадобятся следующие предикаты:

Р(х) х черный шар

Q(y) y черный квадрат;

R(х, у) предмет х лежит под предметом у.

Переформулируем это утверждение так, чтобы...