aaa aaa: oceń wartość logcziną: dla każdego x ∊ R, istnieje y ∊ R [ x < y ^ ( x² ≤ y²)]

eH: fałsz, np. dla x=0 i y=0 x nie jest mniejszy od y

aaa: Nie rozumiem dlaczego fałsz, przecież bierzemy sobie tego x=0 i szukamy czy istnieje jakiś y, który będzie spełniał te warunki, a taki y istnieje (każda liczba dodatnia)

Pytający: Jeśli ^ oznacza "i", to zdanie jest prawdziwe. ∀x∊ℛ ∃y∊ℛ [x<y ∧ (x²≤y²)] Dla każdego x wystarczy przyjąć y=|x|+1. Wtedy zachodzi y=|x|+1>x oraz y²=|x|²+2|x|+1≥x² (równoważne z 2|x|+1≥0).

eH: sorry, źle zinterpretowałem treść