Zpět na diskuze
Predikatový počet
Koalas 13. 10. 2020 • 12:27
Dobrý den,
chtěl bych se zeptat, jak napsat danou funkci pomocí predikatového počtu
Funkce : f(x) = e^x není shora omezená
Děkuji za opdověď
Dominik Chládek 13. 10. 2020 • 20:22
Dobrý den,
jestli to chcete pomocí kvantifikátorů a matematického zápisu, tak bych popsal funkce neomezenou shora tak, že bych si vypsal definici shora omezené funkce a znegoval ji. Shora omezená je:
\(\exists A \in \mathbb{R}:\forall x \in \mathbb{R} :f(x) < A\)
a opakem tedy bude:
\(\forall A \in \mathbb{R}:\exists x \in \mathbb{R} :e^x \geq A\)