Logika Mateusz: Witam mam takie zadanie do zrobienia i nie za bardzo rozumiem jak je przekształcić: Dane wyrażenie niejednoznaczne x²=y² implikuje x=y ⋀(kwantyfikator) x,y a)zrób zdanie jednoznaczne prawdziwe b)zrób zdanie jednoznaczne fałszywe

iteRacj@: a) np. ∀x,y∊ℛ₊ (x²=y²) ⇒ (x=y) lub ∀x,y∊ℛ₋ (x²=y²) ⇒ (x=y)