↑ ((:-)):
může to být tak že si napíšu že ta moje funkce s proměnnou f(x) = f(z) a pak to pomocí ekvivalentních upráv zjednodušit na x=z a toto pokládat za důkaz ? protože když si dám za x jiné číslo než za z musím napsat že x nerovná se z.
je toto akceptovatelné ?
díky
Offline