Konjunkce (logika): Porovnání verzí

Z Wikipedie, otevřené encyklopedie
Smazaný obsah Přidaný obsah
ArthurBot (diskuse | příspěvky)
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 "a". Například "Vojta plave a Lucka plave" je konjunkce.
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
|}
|}
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]]
* [[Booleova algebra]]
* [[Disjunkce]]
* [[disjunkce]]
* [[Existenční kvantifikátor]]
* [[existenční kvantifikátor]]
* [[Exklusivní disjunkce]]
* [[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“.

Související články

Šablona:Pahýl - matematika