Array ( [0] => 15486059 [id] => 15486059 [1] => cswiki [site] => cswiki [2] => Disjunkce [uri] => Disjunkce [3] => [img] => [4] => [day_avg] => [5] => [day_diff] => [6] => [day_last] => [7] => [day_prev_last] => [8] => [oai] => [9] => [is_good] => [10] => [object_type] => [11] => 0 [has_content] => 0 [12] => [oai_cs_optimisticky] => ) Array ( [0] => '''Disjunkce''' znamená odloučení, rozdělení, odloučené oblasti, sloučení oblastí, logický součet [[Výrok (logika)|výroků]], množinových prvků zařazených do jedné skupiny celku. Oblasti se mohou překrývat. Pojem se používá např. ve [[Disjunkce (fytogeografie)|fytogeografii]]. Je používán v [[genetika|genetice]] – [[disjunkce chromosomů]]. S disjunkcí se setkáváme také v [[elektronika|elektronice]] u [[logický obvod|logických obvodů]], [[logický člen|hradel]] či psychologii. [1] => [2] => == Disjunkce v logice == [3] => [[Soubor:Venn0111.svg|220px|náhled|[[Sjednocení]] dvou množin definované pomocí disjunkce: x \in \left ( A \cup B \right ) \equiv \left ( x \in A \right ) \vee \left (x \in B \right ) ]] [4] => Nejčastější použití denotátu disjunkce je v [[logika|logice]], v [[matematická logika|matematické logice]]. '''Disjunkce v logice''' znamená logický součet. Výroky jsou spojeny symbolem ''OR'' nebo ∨), tj. binárním operátorem, používaným pro [[binární operace|binární]] [[logická operace|logické operace]]. Ve výrokové logice může nabýt logický součet dvou výroků pravdivostní hodnoty true= ''pravda'', označované 1, když alespoň jeden z obou vstupních výroků je ''pravda'', anebo false="nepravda", označované 0, pokud jsou oba výroky nepravdivé. S disjunkcí se setkáváme v nejrůznějších oborech, ale nejčastěji ve [[výroková logika|výrokové logice]], [[predikátová logika|predikátové logice]] či kybernetice. [5] => [6] => Ve verbální [[logika|logice]] je '''disjunkce''' označením pro „nebo“. Například „Vojta plave nebo Lucka plave“ je disjunkce. [7] => [8] => Pro vstupy A a B vypadá pravdivostní tabulka disjunkce následovně (0 označuje nepravdivé tvrzení, 1 označuje pravdivé tvrzení). [9] => [10] => {| class="wikitable" [11] => ! A !! B !! A \vee B [12] => |- align=center [13] => | 0 || 0 || 0 [14] => |- align=center [15] => | 0 || 1 || 1 [16] => |- align=center [17] => | 1 || 0 || 1 [18] => |- align=center [19] => | 1 || 1 || 1 [20] => |} [21] => [22] => === Poznámka === [23] => V mluvené řeči v češtině se někdy používá spojka „nebo“ jako vylučovací „buď, anebo“, tomuto vylučovacímu případu však v logice odpovídá [[exkluzivní disjunkce]] či ostrá disjunkce, např.: „Venku je mokro, nebo je sucho.“ Nemohou tedy nastat oba případy zároveň. [24] => [25] => Používá-li se spojka „nebo“ v případech, kdy má znamenat vyloučení jedné z možností a nevyplývá to z významu slov jazyka, může docházet ke komunikačním nedorozuměním, jde o komunikační [[sémantika|sémantickou]] chybu. [26] => [27] => K vyvarování se nesrovnalostí se používá pro právnické výrazy „nebo“ bez čárky pro slučovací význam a s čárkou pro vylučovací.http://obcanskyzakonik.justice.cz/obecna-cast/obecne {{Wayback|url=http://obcanskyzakonik.justice.cz/obecna-cast/obecne |date=20150906203515 }} - Moderní úprava tradičního a vyzkoušeného [28] => [29] => === Vlastnosti logické disjunkce === [30] => Formální definice [[Booleova algebra|Booleovy algebry]] udávají, že disjunkce je [31] => [32] => * [[Asociativita|asociativní]], tzn platí (x ∨ y) ∨ z = x ∨ (y ∨ z); [33] => * [[Distributivita|distributivní]] vůči [[Konjunkce (logika)|konjunkci]], tzn x ∨ (y ∧ z) = (x ∨ y) ∧ (x ∨ z). [34] => [35] => == Ostrá disjunkce == [36] => Ostrá disjunkce se značí symbolem ⊻ (znak disjunkce s podtržítkem), někdy se také nazývá [[Exkluzivní disjunkce|Exklusivní disjunkcí]]. Slovně se vyjadřuje strukturou "buď ..., anebo ...", v počítačové terminologii XOR. Výrok s ostrou disjunkcí je pravdivý, pokud je jeden z výroků pravdivý a druhý nepravdivý:
(x \veebar y) \equiv (x \lor y) \land \lnot (x\land y)
Například v psychologii má povahu ostré disjunkce Oidipální volba dítěte, do které je nutí válečná situace mezi rodiči: "Buď budeš mít rádo matku, nebo otce, ale nemůžeš mít rádo oba rodiče." Z toho pak vyplývá i následná patologie, např. syndrom odcizeného rodiče{{Citace monografie [37] => | příjmení = Klimeš [38] => | jméno = Jeroným [39] => | příjmení2 = [40] => | jméno2 = [41] => | titul = Partneři a rozchody [42] => | vydání = 1 [43] => | vydavatel = Portál [44] => | místo = Praha [45] => | rok vydání = 2005 [46] => | počet stran = 250 [47] => | strany = 129 [48] => | isbn = 978-80-262-0979-9 [49] => }}{{Citace monografie [50] => | příjmení = Klimeš [51] => | jméno = Jeroným [52] => | příjmení2 = [53] => | jméno2 = [54] => | korporace = Rozum a cit [55] => | titul = Přechod, předávání dítěte a exkluzivita vztahů [56] => | titul původní = Provázení rodiny jako dlouhodobý proces: [57] => Sborník příspěvků k provázení náhradních rodin [58] => | url = http://klimes.mysteria.cz/clanky/psychologie/predavani_deti_a_exklusivita_vztahu.htm [59] => | dostupnost = https://www.nahradnirodina.cz/sites/default/files/provazeni_rodiny_jako_dlouhodoby_proces2012.pdf [60] => | editoři = Rozum a cit [61] => | vydání = 1 [62] => | vydavatel = Rozum a cit [63] => | místo = Říčany [64] => | rok vydání = 2012 [65] => | rok tisku = [66] => | počet stran = 48 [67] => | strany = 17 [68] => }}. [69] => [70] => == Reference == [71] => [72] => [73] => == Související články == [74] => * [[Booleova algebra]] [75] => * [[konjunkce (matematika)|konjunkce]] [76] => * [[existenční kvantifikátor]] [77] => * [[logický člen#OR|logický člen OR]] [78] => * [[Disjunktní množiny]] [79] => [80] => == Externí odkazy == [81] => * {{Commonscat}} [82] => * {{Wikiverzita|kurs=Disjunkce/pro SŠ}} [83] => [84] => {{pahýl}} [85] => {{Autoritní data}} [86] => [87] => [[Kategorie:Logika]] [88] => [[Kategorie:Logické operace]] [] => )
good wiki

Disjunkce

Disjunkce znamená odloučení, rozdělení, odloučené oblasti, sloučení oblastí, logický součet výroků, množinových prvků zařazených do jedné skupiny celku. Oblasti se mohou překrývat.

More about us

About

Expert Team

Vivamus eget neque lacus. Pellentesque egauris ex.

Award winning agency

Lorem ipsum, dolor sit amet consectetur elitorceat .

10 Year Exp.

Pellen tesque eget, mauris lorem iupsum neque lacus.

You might be interested in

,'logika','Booleova algebra','Kategorie:Logika','logický člen#OR','konjunkce (matematika)','Výrok (logika)','Distributivita','Disjunkce (fytogeografie)','genetika','disjunkce chromosomů','elektronika','logický obvod'

Distributivita

Elektronika

Genetika

Kategorie:Logika

Logika