Закон контрапозиции. Теоремы

Закон контрапозиции:

Теоремы 1 и 4 (прямая и обратная к противоположной) одновременно истинны и одновременно ложны, т.е. равносильны.

Пусть , тогда предикаты при обращаются в высказывание: .

Закон контрапозиции для высказываний легко доказывается с помощью таблицы истинности:

и и л л	и л и л	л л и и	л и л и	и л и и	и л и и

Закон контрапозиции даёт возможность заменить доказательство теоремы 1 доказательством теоремы 4 или наоборот.

Следствие из закона контрапозиции: теоремы 2 и 3 одновременно истинны и одновременно ложны (доказать самостоятельно).

Дата добавления: 2014-01-11