Matematika - Složené výroky
5. Hodina (během čtvrté hodiny jsme jen negovali výroky, myslím, že není nutné je uvádět, poskytuji-li návod, jak je negovat)
SLOŽENÉ VÝROKY
Složený výrok vytvořím složením dvou nebo více výroků pomocí logických spojek:
1. KONJUNKCE = a zároveň (značka )
2. DISJUNKCE = nebo (značka )
3. IMPLIKACE = z toho vyplývá (značka )
4. EKVIVALENCE = právě tehdy, když/je ekvivalentní (značka )
KONJUNKCE:
Konjunkce je pravdivá právě tehdy, když oba (všechny) výroky jsou pravdivé.
DISJUNKCE:
Disjunkce je pravdivá právě tehdy, když je pravdivý alespoň jeden z výroků.
IMPLIKACE:
AB – A nazýváme předpokladem a B závěrem
Implikace je pravdivá, když oba výroky mají stejnou pravdivostní hodnotu nebo kdykoliv je předpoklad nepravdivý (z nepravdy může plynout pravda).
EKVIVALENCE:
Ekvivalence je pravdivá právě tehdy, když oba (všechny) výroky mají stejnou pravdivostní hodnotu
Komentáře
Přehled komentářů
Zatím nebyl vložen žádný komentář