Matematické Fórum

krucibrk

Ahoj,
chtel bych v jazyce L = { f, <=, < } zformalizovat vetu:

Na kazdem uzavrenem intervalu funkce f nabyva maximum.

Moje reseni:
$\forall (x)\forall (y)(x\le y)\exists (c)((x\le c \le y) \wedge max(c))$
kde m je maximum fce f v bode c. Slo by to takhle?

Diky za odpoved.

Matematické Fórum

#1 22. 11. 2016 21:28 — Editoval krucibrk (25. 11. 2017 10:47)

Predikatova logika - formalizace

Zápatí