Logikaa Gabi: Dobrze myślę? (∀x∊ℛ)(∃y∊ℛ)(x<y ⇒x²<y²) ⇔(∀x∊ℛ)(∃y∊ℛ)(x≥y ∨x²<y²) Zdanie jest prawdziwe dla x≤0 a y :=[x]−1 Zadanie dla x>0 nie jest prawdziwe.

Gray: To jest zdanie logiczne, a nie forma zdaniowa; nie podstawiasz nic za x, ani za y. Zdanie jest ...

Gabi: Jakbym nie musiała tego tak rozpisywać na kolosie to uwierz mi, bym tego nie robiła

Gray: To może dokończę: zdanie jest prawdziwe.