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

Матеріал з testwiki
Перейти до навігації Перейти до пошуку

Шаблон:Infobox

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

Визначення

Таблиця істинності виглядає таким чином: Шаблон:2-ary truth table


Шаблон:Navbox

Отримано з https://uk.wiki.beta.math.wmflabs.org/w/index.php?title=Обернена_неімплікація&oldid=10710