MathProblemsBank

6.5.4 Исчисление предикатов

Условие: Записать на языке логики предикатов следующие утверждения: “Для любых трёх чисел, если их произведениенечётно, то все три числа нечётны".