Условие:
Переведите с естественного языка на язык логики предикатов:
Простое число, отличное от 2, нечетно.
Решение:
Шаг 1. Анализируем исходное высказывание. Оно утверждает, что любое простое число, которое не равно 2, является нечетным. Шаг 2. В логике предикатов введем следующие обозначения: P(x) – говорит о том, что чи...
