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

  1. Konjunkce - výrok je pravdivý, když oba výroky jsou pravdivé. A ∧ B
  2. Disjunkce - výrok je pravdivý, pokud alespoň jeden výrok je pravdivý. A ∨ B
  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