Фэндом

Математика

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

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

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

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

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


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

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


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

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

Также на Фэндоме

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