Konjunkce (logika)

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

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

x\in \left(A\cap B\right)\equiv \left(x\in A\right)\land \left(x\in B\right)

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í).

A	B	A ∧ B
0	0	0
0	1	0
1	0	0
1	1	1

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“.

Související články

Externí odkazy

Obrázky, zvuky či videa k tématu konjunkce na Wikimedia Commons
Výukový kurs Encyklopedie pro střední školy/Konjunkce ve Wikiverzitě

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.