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

Smazaný obsah Přidaný obsah
m +link na w:
m Robot opravil přesměrování; kosmetické úpravy
Řádek 1:
{{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"
|-
Řádek 11:
|-
|}
== Vlastnosti ==
=== Komutativita ===
Pravdivost konjunkce nezáleží na pořadí výroků.
{| class="wikitable"
Řádek 25:
|-
|}
=== 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"
Řádek 36:
|-
|}
=== Neutrální prvek ===
Konjunkcí s pravdivým výrokem se pravdivostní hodnota nemění.
{| class="wikitable"
Řádek 47:
|-
|}
=== Závora ===
Konjunkcí s nepravdivým výrokem dostaneme nepravdivý výrok.
{| class="wikitable"
Řádek 58:
|-
|}
=== Komplementace ===
Konjunkcí výroku s jeho negací dostaneme nepravdivý výrok.
{| class="wikitable"
Řádek 70:
|}
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ší".
 
Řádek 94:
Ú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Š]]