Pridaj na:
Facebook |
Twitter |
Vybrali.sme
Výrokové formy, kvantifikované výroky
Výroková forma je výraz obsahujúci premenné, po dosadení ktorých sa z neho stane výrok. Príkladom výrokovej formy je x2–2x>0. Všimnite si, že výroková forma sama o sebe nie je výrok (nemá zmysel uvažovať, či je platná alebo nie), až po vhodnom dosadení za premenné, napr. 22-2·2>0, z nej vzniká výrok.
Kvantifikované výroky:
Niekedy z výrokovej formy dostaneme výrok nie dosadením konštánt, ale kvantifikáciou (použitím kvantifikátorov).
- ∀ - všeobecný kvantifikátor - čítame pre všetky , pre ľubovolné , každé .
- Príklad: A(x): x2≥0 je výroková forma.
- ∀x∈R:x2≥0 je pravdivý výrok
- ∃ - existenčný kvantifikátor - čítame existujú .
- Príklad: A(x): x - 1 > 0 je výroková forma.
- ∃x ∈ R:x - 1 > 0 je pravdivý výrok
Prihláste sa na Odber noviniek
Vyhľadať na Pohodovej matematike
Odporúčame:
Viacúčelová posteľ s perfektným úložným priestorom je určená do Tvojej izby.
Citát
Mám vynikajúcu pamät, lenže krátku.
Fernandel
