|
[[logika|<p>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''.</p>
<p>[editovat] Definice</p>
<p>V [[logika|logice ]] a [[matematika|matematice ]] je '''konjunkce ''' označením pro "a". Například "Vojta plave a Lucka plave" je konjunkce. </p>▼
==Definice==
<p>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</p>▼
▲V [[logika|logice]] a [[matematika|matematice]] je '''konjunkce''' označením pro "a". Například "Vojta plave a Lucka plave" je konjunkce.
<p><br />
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'". </p>▼▲Pro vstupy A a B vypadá pravdivostní tabulka konjunkce následovně (0 označuje nepravdivé tvrzení, 1 označuje pravdivé tvrzení).
{| border=1 cellspacing=1 cellpadding=5
! A !! B !! A <math>\wedge</math> B
|- align=center
| 0 || 0 || 0
|- align=center
| 0 || 1 || 0
|- align=center
| 1 || 0 || 0
|- align=center
| 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'".
==Podívejte se též na==
* [[Booleova algebra]]
* [[Disjunkce]]
* [[Existenční kvantifikátor]]
* [[Exklusivní disjunkce]]
* [[Nor]]
{{Matematický pahýl}}
[[Category:Logika]]
[[de:Konjunktion (Logik)]]
[[en:Logical conjunction]]
[[eo:Konjunkcio (logiko)]]
[[es:Puerta AND]]
[[it:AND]]
[[ja:論理積]]
[[pl:AND]]
[[pt:E (lógica)]]
[[fr:Conjonction_logique]]
[[th:การเชื่อมเชิงตรรกศาสตร์]]
[[uk:Кон'юнкція]]
| 