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

  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