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:
[[File:Venn0001.svg|220px|thumb|Průnik množin je definovaný pomocí konjunkce: <math>x \scriptstylein \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''.