Konjunkce (logika): Porovnání verzí
Smazaný obsah Přidaný obsah
obrázek |
Zavádějící: obrázek ukazuje množiny, ne výroky - upravil jsem aspoň popisek, lepší by možná bylo ho smazat |
||
Řádek 1: | Řádek 1: | ||
[[File:Venn0001.svg|220px|thumb|<math>\ |
[[File:Venn0001.svg|220px|thumb|Průnik množin je definovaný pomocí konjunkce: <math>x \in \left ( A \cap B \right ) \equiv \left ( x \in A \right ) \and \left (x \in B \right ) </math>]] |
||
[[logika|Logická]] '''konjunkce''' (používají se pro ni symboly ''AND'', & nebo <math>\wedge</math>) je [[binární operace|binární]] [[logická operace]] jejíž hodnota je ''pravda'', právě když obě vstupní hodnoty jsou ''pravda''. |
[[logika|Logická]] '''konjunkce''' (používají se pro ni symboly ''AND'', & nebo <math>\wedge</math>) je [[binární operace|binární]] [[logická operace]] jejíž hodnota je ''pravda'', právě když obě vstupní hodnoty jsou ''pravda''. |
||
Verze z 16. 12. 2013, 18:25
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.
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“.