Обернена імплікація
| Converse IMPLY | |
|---|---|
 | |
| Визначення | |
| Таблиця істинності | |
| Логічний вентиль |  |
| Нормальні форми | |
| Диз'юнктивна | |
| Кон'юнктивна | |
| Алгебрична | |
| Ґратка Поста | |
| (зберігає 0) | ✗ |
| (зберігає 1) |  |
| (монотонна) | ✗ |
| (лінійна) | ✗ |
| (само-двоїста) | ✗ |
Обернена імплікація — це обернення імплікації. Тобто: що для будь-яких двох висловлювань P і Q, якщо Q означає P, то Р зворотна імплікація Q.
Це може здійснюватися в таких формах:
- p⊂q, Bpq, або p←q
Таблиця істинності для A⊂B
| F | F | T |
| F | T | F |
| T | F | T |
| T | T | T |
Збережена істина: Інтерпретація, при якій всім змінним присвоюється значення істинності «істинно» виробляє істинне значення «істина» в результаті зворотної імплікації.
«Немає q без p.»
«p якщо q.»
Формула оберненої імплікації в булевій алгебрі — (А + ~В)
- (A+B̅)
- Г. Цейтлін. Елементи теорії булевих функцій. — Київ : Техніка, 1967. — 76 с.(укр.)
- Вітенько І. В. Математична логіка: Курс лекцій. — Ужгород : УжДУ, 1971. — 224 с.(укр.)
- Хромой В. Я. Збірник вправ і задач з математичної логіки. — Київ : Вища школа, 1978. — 160 с.(укр.)
- Дрозд Ю. А. (2005). Основи математичної логіки (PDF). Київ: ВПЦ "Київський університет". с. 96. (укр.)
