student ktoś: Są dokładnie dwie liczby, gdzie obie są równe swojemu kwadratowi ∃x,y x*x=x ⋀ y*y=y ⇒ ∀a,b a*a=a ⋀ b*b=b ⋀ [(a=x ⋀ b=y) v (a=y ⋀ b=x)] Dobrze?

kochanus_niepospolitus: A gdzie masz informację, że x≠y

ktoś: Prawda ∃x,y x*x=x ⋀ y*y=y ⋀ x≠y ⇒ ∀a,b a*a=a ⋀ b*b=b ⋀ [(a=x ⋀ b=y) v (a=y ⋀ b=x)] i jest ok?

kochanus_niepospolitus: Ja bym to zapisał tak: ( ∃_{x,y ∊R} x² = x ∧ y² = y ∧ x≠y ) ⇒ [ ∀_a∊R a² = a ⇒ (a = x ∨ a = y) ]

kochanus_niepospolitus: u ciebie zbyteczne jest to 'b', a jeżeli chcesz go użyć to i tutaj potrzebny jest warunek a≠b bo dla a=b=x prawa strona równa 0

kochanus_niepospolitus: jak również Twoje zdanie nie mówi, że nie mogą istnieć trzy (różne) liczby takie, że ich kwadrat jest równy tejże liczbie