Konjunkce (logika): Porovnání verzí

Přidán 1 bajt ,  před 1 rokem
m
bez shrnutí editace
m (odebrána Kategorie:Matematická logika; přidána Kategorie:Logické operace za použití HotCat)
m
[[Soubor:Venn0001.svg|220px|náhled|[[Průnik]] dvou množin je definovaný pomocí konjunkce: <math>x \in \left ( A \cap B \right ) \equiv \left ( x \in A \right ) \land \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''.
 
== Definice ==
353

editací