Дискретная математика, ИДЗ 3, вариант 25 (Предикаты и кванторы)
ворд, подробно
есть пример выполнения, прикреплен к заказу