Konjunkce (logika): Porovnání verzí

Přidáno 861 bajtů ,  před 13 lety
Verze 2155496 uživatele 85.70.132.129 (diskuse) zrušena.
(Verze 2155496 uživatele 85.70.132.129 (diskuse) zrušena.)
<p>[[logika|Logická]] '''konjunkce''' (používají se pro ni symboly ''AND'', &amp; 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>
==Definice==
<p>V [[logika|logice]] a [[matematika|matematice]] je '''konjunkce''' označením pro "a". Například "Vojta plave a Lucka plave" je konjunkce.</p>
<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>
 
<p><br />
<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>
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>
 
{| 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'".</p>
 
==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:&#35542;&#29702;&#31309;]]
[[pl:AND]]
[[pt:E (lógica)]]
[[fr:Conjonction_logique]]
[[th:&#3585;&#3634;&#3619;&#3648;&#3594;&#3639;&#3656;&#3629;&#3617;&#3648;&#3594;&#3636;&#3591;&#3605;&#3619;&#3619;&#3585;&#3624;&#3634;&#3626;&#3605;&#3619;&#3660;]]
[[uk:&#1050;&#1086;&#1085;'&#1102;&#1085;&#1082;&#1094;&#1110;&#1103;]]
25 777

editací