Matematika - Kvantifikované výroky a jejich negace
2. Hodina
Negace výroku je sdělení, které popírá původní výrok.
Pokud výrok značíme V, pak jeho negaci značíme V´
Při vytváření negace se snažím používat co nejméně záporů.
Výrok a jeho negace mají opačnou pravdivostní hodnotu.
KVANTIFIKOVANÉ VÝROKY:
1. OBECNÝ KVANTIFIKÁTOR:
Čteme: Pro každý, pro všechna, každý, všechny,…
2. EXISTENČNÍ KVANTIFIKÁTOR:
Čteme: Existuje (alespoň jeden)
… existuje alespoň jeden
… existuje právě jeden
NEGACE KVANTIFIKOVANÝCH VÝROKŮ:
Mám-li negovat kvantifikovaný výrok, změním kvantifikátor a neguji výrokovou formu:
Příklady:
V1: Každý den prší.
V1´: Existuje alespoň jeden den, kdy neprší.
V2: Aspoň jeden den v roce svítí slunce.
V2´:Žádný den v roce nesvítí slunce.
V3: ... 1 (čteme ke každému reálnému x najdeme alespoň jedno reálné y, pro které platí, že ...)
V3´: ...0 (čteme Existuje alespoň jedno reálné číslo x takové, že pro každé reálné číslo y platí, že...)
LOLOLO
(LOLOLOL, 18. 11. 2022 12:10)