Konjunkce (logika): Porovnání verzí
Smazaný obsah Přidaný obsah
m robot přidal: fa:عطف منطقی |
m robot přidal: id:Logika konjungsi |
||
Řádek 38: | Řádek 38: | ||
[[fr:Conjonction logique]] |
[[fr:Conjonction logique]] |
||
[[he:וגם (לוגיקה)]] |
[[he:וגם (לוגיקה)]] |
||
[[id:Logika konjungsi]] |
|||
[[it:Algebra di Boole#AND]] |
[[it:Algebra di Boole#AND]] |
||
[[ja:論理積]] |
[[ja:論理積]] |
Verze z 9. 9. 2008, 03:37
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'".