Konjunkce (logika): Porovnání verzí
Smazaný obsah Přidaný obsah
m Robot: opravy kategorií |
m fixlink |
||
Řádek 1: | Řádek 1: | ||
[[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== |
== Definice == |
||
V [[logika|logice]] a [[matematika|matematice]] je '''konjunkce''' označením pro |
V [[logika|logice]] a [[matematika|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í). |
Pro vstupy A a B vypadá pravdivostní tabulka konjunkce následovně (0 označuje nepravdivé tvrzení, 1 označuje pravdivé tvrzení). |
||
{| {{wikitabulka}} |
|||
{| border=1 cellspacing=1 cellpadding=5 |
|||
! A !! B !! A <math>\wedge</math> B |
! A !! B !! A <math>\wedge</math> B |
||
|- align=center |
|- align=center |
||
| 0 || 0 || 0 |
| 0 || 0 || 0 |
||
|- align=center |
|- align=center |
||
| 0 || 1 || 0 |
| 0 || 1 || 0 |
||
|- align=center |
|- align=center |
||
| 1 || 0 || 0 |
| 1 || 0 || 0 |
||
|- align=center |
|- align=center |
||
| 1 || 1 || 1 |
| 1 || 1 || 1 |
||
|} |
|} |
||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
* [[Booleova algebra]] |
* [[Booleova algebra]] |
||
* [[ |
* [[disjunkce]] |
||
* [[ |
* [[existenční kvantifikátor]] |
||
* [[ |
* [[exklusivní disjunkce]] |
||
* [[logický člen#AND|logický člen AND]] |
|||
* [[Nor]] |
|||
{{Pahýl - matematika}} |
{{Pahýl - matematika}} |
||
[[Kategorie:Logika]] |
[[Kategorie:Logika]] |
||
Verze z 8. 8. 2009, 21: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“.