Wykaż że pablito: Wykaż, że [x+y]=[x]+[y] dla x,y ∊Z nawiasy to funkcja podłoga

zombi: W sumie to całkiem oczywiste, skoro x,y, są całkowite to [x]=x+{x}, przy czym {x}=0 [y]=y+{y}, {y}=0 L=[[x]−{x}+[y]−{y}]=[x]+[y]+[{x}+{y}]=[x]+[y]=P Pisząc tak mega formalnie

Trivial: A tak nie mega formalnie: Skoro x,y ∊ Z to i x+y∊Z skąd [x+y] = x+y = [x]+[y]

pablito: dzięki wielkie

zombi: Jakbyś miał np. [x+y] ≥ [x] + [y] dla x,y∊R to byłaby lepsza zabawa

pablito: a co powiecie na takie zadanko? _x∊R_y∊R[x<y] trzeba wstawic kwantyfikatory

Trivial: Ja powiem stanowcze i zdecydowane "raczej nie". Co ma niby oznaczać [x<y]?

pablito: Sam się nad tym zastanawiam ;<

pablito: A coś takiego: Niech U'={1,2,3}, U''={3,5,6,7} spr. prawdziwość ∀x∊U' ∃y∊U'' [y>x]