Условие задачи
Найти все неравносильные между собой следствия из посылок.
Если сумма двух слагаемых – четное число, то оба слагаемых – четные числа или оба – нечетные числа. Если оба слагаемых – нечетные числа, то сумма – четное число.
Ответ
Используя аппарат алгебры высказываний, запишем данные посылки F1, F2 в виде сложных высказываний.
Обозначим:
1. Сумма двух слагаемых четное число а;
2. Оба слагаемых четные числа b;
3. Оба слагаемых нечетные...