Konjunkce (logika): Porovnání verzí

← Přejít na předchozí porovnání Přejít na další porovnání →

Smazaný obsah Přidaný obsah

V textu

Verze z 14. 1. 2008, 21:54

Logická konjunkce (používají se pro ni symboly AND, & nebo $\wedge$ ) 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 $\wedge$ 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'".

Podívejte se též na

Šablona:Matematický pahýl

@@ Řádek 1: / Řádek 1: @@
-<p>Logická konjunkce (používají se pro ni symboly AND, &amp; nebo ) je binární logická operace jejíž hodnota je pravda, právě když obě vstupní hodnoty jsou pravda.</p>
+[[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''.
-<p>[editovat] Definice</p>
+==Definice==
-<p>V logice a matematice je konjunkce označením pro "a". Například "Vojta plave a Lucka plave" je konjunkce.</p>
+V [[logika|logice]] a [[matematika|matematice]] je '''konjunkce''' označením pro "a". Například "Vojta plave a Lucka plave" je konjunkce.
-<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 />
+Pro vstupy A a B vypadá pravdivostní tabulka konjunkce následovně (0 označuje nepravdivé tvrzení, 1 označuje pravdivé tvrzení).
-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'".
+==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;]]