Обернена неімплікація

Converse NIMPLY
Venn diagram of
Визначення
Таблиця істинності
Логічний вентиль
Нормальні форми
Диз'юнктивна
Кон'юнктивна
Алгебрична
Ґратка Поста
(зберігає 0)
(зберігає 1)Green tickТак
(монотонна)
(лінійна)
(само-двоїста)

Обернена неімплікація — це заперечення оберненої імплікації. Тобто, для будь-яких двох висловлень P та Q обернена неімплікація з P до Q є істинною тоді й лише тоді, коли істинним є заперечення імплікації з Q до P.

Визначення

Таблиця істинності виглядає таким чином:

000
011
100
110


Prefix: a b c d e f g h i j k l m n o p q r s t u v w x y z 0 1 2 3 4 5 6 7 8 9

Portal di Ensiklopedia Dunia

Kembali kehalaman sebelumnya