Logika - Zadanie 120.

  1. \forall x \forall y [(x\leq y \Rightarrow f(x) \leq (y)) \wedge (x\leq y \Rightarrow f(x) \geq f(y))]
  2. \exists x_1 \exists y_1 \exists x_2 \exists y_2 [x_1\leq y_1 \wedge f(x_1)>f(x_2)] \wedge [x_2 \leq y_2 \wedge f(x_1) < f(x_2)]