Konjunkce (logika): Porovnání verzí
Smazaný obsah Přidaný obsah
m Ján Kepler přesunul stránku Konjunkce (matematika) na Konjunkce (logika) s výměnou přesměrování: zbytečný přesun na základě diskuse |
zbytečně přejmenováno |
||
Řádek 1: | Řádek 1: | ||
{{Přesunout|Konjunkce (logika)|komentář=S výměnou přesměrování. Patří především pod logiku, podobně mají název i cizojazyčné Wikipedie}} |
|||
[[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>]] |
[[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''. |
Verze z 16. 5. 2020, 17:49
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
- Výukový kurs Encyklopedie pro střední školy/Konjunkce ve Wikiverzitě