Uveďte spojky výrokové logiky a popište jejich sémantiku

Verze z 2. 7. 2016, 19:47, kterou vytvořil Michal.Bily (diskuse | příspěvky)
  1. Konjunkce - výrok je pravdivý, když oba výroky jsou pravdivé.
  2. Disjunkce - výrok je pravdivý, pokud alespoň jeden výrok je pravdivý.
  3. Implikace - výrok A je pravdivý pakliže výrok B je pravdivý. A → B
  4. Ekvivalenc - výrok A právě když B. A ↔ B


Zdroje

Reference


Související články

Klíčová slova

Citováno z „https://wikisofia.cz/w/index.php?title=Uveďte_spojky_výrokové_logiky_a_popište_jejich_sémantiku&oldid=36685“