Uveďte spojky výrokové logiky a popište jejich sémantiku: Porovnání verzí
(Založení stránky) |
m |
||
Řádek 1: | Řádek 1: | ||
+ | |||
+ | # Konjunkce - výrok je pravdivý, když oba výroky jsou pravdivé. | ||
+ | # Disjunkce - výrok je pravdivý, pokud alespoň jeden výrok je pravdivý. | ||
+ | # 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== | ==Zdroje== | ||
===Reference=== | ===Reference=== |
Verze z 2. 7. 2016, 20:47
- Konjunkce - výrok je pravdivý, když oba výroky jsou pravdivé.
- Disjunkce - výrok je pravdivý, pokud alespoň jeden výrok je pravdivý.
- 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