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 x²–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. 2²-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): x²≥0 je výroková forma.

∀x∈R:x²≥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

---

Katalógy webových stránok

Kalkulačky

Kalkulačka