Konjunkce (logika): Porovnání verzí

← Přejít na předchozí porovnání Přejít na další porovnání →

Smazaný obsah Přidaný obsah

V textu

Verze z 27. 2. 2020, 17:54

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)$

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.

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

Výukový kurs Konjunkce/pro SŠ ve Wikiverzitě

Pahýl

Tento článek je příliš stručný nebo postrádá důležité informace.
Pomozte Wikipedii tím, že jej vhodně rozšíříte. Nevkládejte však bez oprávnění cizí texty.

@@ Řádek 1: / Řádek 1: @@
 [[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''.
+[[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 ==