Условие:
Переведите с естественного языка на язык логики предикатов: простое число, отличное от 2, нечетно. в ответе не должно быть "х не равен 2", для избежания этого необходимо ввести еще один предикат.
Решение:
Пошаговое рассуждение: 1. Обозначим предикат Prime(x) как «x является простым числом». 2. Введём предикат Two(x) как «x – число 2». Таким образом, отрицание (¬Two(x)) означает, что число x не является числом 2...
