Encyklopedie pro střední školy/Konjunkce: Porovnání verzí

m
Robot opravil přesměrování; kosmetické úpravy
m (+link na w:)
m (Robot opravil přesměrování; kosmetické úpravy)
{{Wikipedie|Konjunkce (matematika)}}
'''Konjunkce''' je spojení dvou [[výrokvýroková logika/pro SŠ|výroků]] (vět) do jednoho celku (souvětí) pomocí spojky "a". Výsledný výrok je pravdivý, jsou-li pravdivé obě jeho části. Logickou spojku a značíme "∧".
== Pravdivostní tabulka ==
{| class="wikitable"
|-
|-
|}
== Vlastnosti ==
=== Komutativita ===
Pravdivost konjunkce nezáleží na pořadí výroků.
{| class="wikitable"
|-
|}
=== Idempotentnost ===
Opakováním stejného výroku nedochází ke změně pravdivostní hodnoty. Tedy i stokrát opakovaná lež se nestává pravdou, ale zůstává lží.
{| class="wikitable"
|-
|}
=== Neutrální prvek ===
Konjunkcí s pravdivým výrokem se pravdivostní hodnota nemění.
{| class="wikitable"
|-
|}
=== Závora ===
Konjunkcí s nepravdivým výrokem dostaneme nepravdivý výrok.
{| class="wikitable"
|-
|}
=== Komplementace ===
Konjunkcí výroku s jeho negací dostaneme nepravdivý výrok.
{| class="wikitable"
|}
Komplementace připomíná situaci Chytré horákyně, která měla přijet nepřijet, oblečená neoblečená atd.
== Příklady a úlohy ==
Příklad: Určete pravdivostní tabulku výroku "Kvete bez a neprší".
 
Úloha: Určete pravdivostní tabulku výroku "Prší a nerostou houby.".
 
== Výuka ==
Pokračujte na stránce [[Disjunkce/pro SŠ]].
 
[[Kategorie:Logika/pro SŠ]]
[[Kategorie:Matematika/pro SŠ]]
2 107

editací