Викия

Математика

Правило отрицания

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

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


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

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

Правило отрицания — применяется для построения отрицаний высказываний, содержащих кванторы, и имеет вид:

\lnot (\forall x)P(x) = (\exists x) \lnot P(x)
\lnot (\exists x)P(x) = (\forall x) \lnot P(x)

Правило отрицания называют также правилом де Моргана.

Викия-сеть

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