[[logika_dla_informatykow:skrypt:120]]
 
Ślad: » lista4l » 11 » 86 » lista3 » 110 » lista8 » 10.zadanie08 » zadanie09.095 » 44 » 120

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)]
 
logika_dla_informatykow/skrypt/120.txt · ostatnio zmienione: 2009/10/23 16:33 przez 89.79.243.47
 
Wszystkie treści w tym wiki, którym nie przyporządkowano licencji, podlegają licencji:MIT License
Recent changes RSS feed