Nezapojení

Tento článek neuvádí žádný zdroj a může obsahovat nepřesné informace (hlášené v červnu 2016).

Pokud máte referenční knihy nebo články nebo pokud víte o kvalitních webových stránkách zabývajících se zde diskutovaným tématem, vyplňte prosím článek tak, že uvedete odkazy užitečné pro jeho ověřitelnost a propojíte je s částí „ Poznámky “ a odkazy “( editovat článek ).

Najděte zdroje na téma „ Nezapojení “ :

Materiál bez zapojení, nebo abjonction, ( latina ab = „o“ junctio = - „spojení“) je jedním z 16 binárních konektorů klasické logiky výrokové bivalentní .

V rámci této logiky vyjadřuje negaci a materiální implikace . To znamená, že pro dva výroky P a Q platí materiální neimplikace P až Q právě tehdy, když ne P znamená Q. Toto se přirozeně deklaruje jako neimplikace P až Q pouze tehdy, když P je pravda a Q je nepravda.

Lze jej zapsat pomocí logické notace:

p⊅q Lpq p↛q

A je ekvivalentní:

p∧ ~ q

Definice

Pravdivá tabulka

p	q	${\ displaystyle ~ \ nrightarrow}$
T	T	F
T	F	T
F	T	F
F	F	F

Symbol

Symbol nezapojení je přeškrtnutý symbol logické implikace. Jeho symbol Unicode je 8603 (desítkově).

Přirozený jazyk

Rétorika

„p, ale ne q.“

Booleova algebra

(A '+ B)'

Počítačová věda

Bitová operace: A & (~ B)

Logická operace: A && (! B)

Podívejte se také

Poznámky a odkazy