Доброго Времени суток, уважаемые, можете с заданием? А задание такое:
Перевести с естественного языка на язык логики Предикатов:

1) Кошки бывают только белые и серые.

2) т.к. 60 делится на 2 и 3, то 60 делится на некоторые числа, отличные от 60.

Комментарий:
ответ в виде формулы двух логических операций и квантора