Konjunkce (logika)

From Wikipedia, the free encyclopedia

Konjunkce (logika)
Remove ads

Logická konjunkce (používají se pro ni symboly AND, & nebo ) je binární logická operace, jejíž hodnota je pravda, právě když obě vstupní hodnoty jsou pravda.

Thumb
Průnik dvou množin je definovaný pomocí konjunkce:
Remove ads

Definice

V logice a matematice je konjunkce označením pro „a“. Například „Vojta plave a Lucka plave“ je konjunkce.

Pro vstupy A a B vypadá pravdivostní tabulka konjunkce následovně (0 označuje nepravdivé tvrzení, 1 označuje pravdivé tvrzení).

Další informace A, B ...

Konjunkce libovolných výroků a, b je výrok, který vznikne jejich spojením spojkou a. Konjunkci výroků a, b čteme „a a b“.

Remove ads

Vlastnosti

Formální definice Booleovy algebry udávají, že konjunkce je

Související články

Externí odkazy

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads