Викия

Математика

Приведение к абсурду

1457статей на
этой вики
Добавить новую страницу
Обсуждение0 Share

Обнаружено использование расширения AdBlock.


Викия — это свободный ресурс, который существует и развивается за счёт рекламы. Для блокирующих рекламу пользователей мы предоставляем модифицированную версию сайта.

Викия не будет доступна для последующих модификаций. Если вы желаете продолжать работать со страницей, то, пожалуйста, отключите расширение для блокировки рекламы.

Эта статья нуждается в серьёзной переработке.

Привидение к абсурду или правило введения отрицания — правило логического вывода, позволяющее заключить, что если из списка утверждений \Gamma, A следует как утверждение B, так и утверждение \neg B, то из списка \Gamma следует \neg A.

Привидение к абсурду является допустимым правилом для подавляющего большинства логико-математических исчислений.


Эта статья содержит материал из статьи Приведение к абсурду русской Википедии.

Викия-сеть

Случайная вики