Обернена імплікація
Перейти до навігації
Перейти до пошуку
Обернена імплікація — це обернення імплікації. Тобто: що для будь-яких двох висловлювань P і Q, якщо Q означає P, то Р зворотна імплікація Q.
Це може здійснюватися в таких формах:
- p⊂q, Bpq, або p←q
Визначення[ред. | ред. код]
Таблиця істинності[ред. | ред. код]
Таблиця істинності для A⊂B
a | b | ⊂ |
---|---|---|
T | T | T |
T | F | T |
F | T | F |
F | F | T |
Діаграма Венна[ред. | ред. код]
Властивість діаграми Венна для «Якщо В тоді А» (біла область показує де твердження невірне)
Властивості[ред. | ред. код]
Збережена істина: Інтерпретація, при якій всім змінним присвоюється значення істинності «істинно» виробляє істинне значення «істина» в результаті зворотної імплікації.
Символ[ред. | ред. код]
- ⊂
Природна мова[ред. | ред. код]
«Немає q без p.»
«p якщо q.»
Булева алгебра[ред. | ред. код]
Формула оберненої імплікації в булевій алгебрі — (А + ~В)
- (A+B̅)