Konjunkce (logika): Porovnání verzí

Z Wikipedie, otevřené encyklopedie
Smazaný obsah Přidaný obsah
m Robot: náhrada zastaralé matematické syntaxe podle mw:Extension:Math/Roadmap
Řádek 35: Řádek 35:
{{Autoritní data}}
{{Autoritní data}}


[[Kategorie:Logika]]
[[Kategorie:Matematická logika]]

Verze z 24. 12. 2018, 11:55

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

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

Související články

Externí odkazy