Konjunkce (logika): Porovnání verzí

Přidáno 43 bajtů ,  před 12 lety
m
fixlink
m (Robot: opravy kategorií)
m (fixlink)
[[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 ==
V [[logika|logice]] a [[matematika|matematice]] je '''konjunkce''' označením pro "a"„a“. Například "Vojta„Vojta plave a Lucka plave"plave“ je konjunkce.
 
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
|- 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'".
 
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==
 
== Související články ==
* [[Booleova algebra]]
* [[Disjunkcedisjunkce]]
* [[Existenčníexistenční kvantifikátor]]
* [[Exklusivníexklusivní disjunkce]]
* [[logický člen#AND|logický člen AND]]
* [[Nor]]
 
{{Pahýl - matematika}}
 
[[Kategorie:Logika]]