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

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

Обернена імплікація — це обернення імплікації. Тобто: що для будь-яких двох висловлювань 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

Діаграма Венна[ред. | ред. код]

Властивість діаграми Венна для «Якщо В тоді А» (біла область показує де твердження невірне)

Venn1101.svg

Властивості[ред. | ред. код]

Збережена істина: Інтерпретація, при якій всім змінним присвоюється значення істинності «істинно» виробляє істинне значення «істина» в результаті зворотної імплікації.

Символ[ред. | ред. код]

Природна мова[ред. | ред. код]

«Немає q без p.»

«p якщо q.»

Булева алгебра[ред. | ред. код]

Формула оберненої імплікації в булевій алгебрі — (А + ~В)

(A+B̅)

Див. також[ред. | ред. код]