Uveďte spojky výrokové logiky a popište jejich sémantiku: Porovnání verzí

m
m
Řádek 1: Řádek 1:
  
# Konjunkce - výrok je pravdivý, když oba výroky jsou pravdivé.
+
# Konjunkce - výrok je pravdivý, když oba výroky jsou pravdivé. '''A ∧ B'''
# Disjunkce - výrok je pravdivý, pokud alespoň jeden výrok je pravdivý.
+
# Disjunkce - výrok je pravdivý, pokud alespoň jeden výrok je pravdivý. '''A ∨ B'''
 
# Implikace - výrok A je pravdivý pakliže výrok B je pravdivý. '''A → B'''
 
# Implikace - výrok A je pravdivý pakliže výrok B je pravdivý. '''A → B'''
 
# Ekvivalenc - výrok A právě když B. '''A ↔ B'''
 
# Ekvivalenc - výrok A právě když B. '''A ↔ B'''

Verze z 10. 7. 2016, 10:31

  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