Implikacja odwrotna - Converse implication

Diagram Venna od (biały obszar pokazuje, gdzie stwierdzenie jest fałszywe)${\ Displaystyle A \ B} STRZAŁKA_W_LEWO$

Odwrotna implikacja jest rozmawiać z implikacji , napisany ←. To jest do powiedzenia; że dla dowolnych dwóch zdań i , jeśli zakłada , to jest odwrotna implikacja . ${\ Displaystyle P}$${\ Displaystyle P}$${\ Displaystyle P}$${\ Displaystyle P}$${\ Displaystyle P}$${\ Displaystyle P}$

Jest napisane , ale mogą również być zanotowana lub „B pq ” (w notacji Bocheński ). ${\ Displaystyle P \ P} STRZAŁKA_W_LEWO$${\ Displaystyle P \ P} podzbiór$

Definicja

tabela prawdy

Tabela prawdy o${\ Displaystyle P \ P} STRZAŁKA_W_LEWO$

${\ Displaystyle P}$	${\ Displaystyle P}$	${\ Displaystyle P \ P} STRZAŁKA_W_LEWO$
T	T	T
T	fa	T
fa	T	fa
fa	fa	T

Logika Równoważność

Odwrotna implikacja jest logicznie równoważne alternatywą i${\ Displaystyle P}$${\ Displaystyle \ neg P}$

${\ Displaystyle P \ P} STRZAŁKA_W_LEWO$	${\ Displaystyle \ Leftrightarrow}$	${\ Displaystyle P}$	${\ Displaystyle \} lor$	${\ Displaystyle \ neg P}$
	${\ Displaystyle \ Leftrightarrow}$		${\ Displaystyle \} lor$

Nieruchomości

Prawda-konserwujące : Interpretacja, zgodnie z którymi wszystkie zmienne są przypisane wartości logicznej na „true” tworzy wartość logiczna „prawda” w wyniku odwrotnej implikacji.

Symbol

←, ⇐ 

język naturalny

"Nie bez p q".

"P jeśli q".

Zobacz też

• logiczny łącznej
• materiał warunkowy

Ta logika kondensatorem artykuł jest en . Można źródło Wikipedia rozszerza ją . v T mi