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
- 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ý. 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
Zdroje
Reference