Logika Mateusz: Witam mam problem z takim zadaniem Podaj kontrprzykład na x>y implikuje x²>y² ⋀(kwantyifikator) x,y należa do reczywistych Rozwiązaniem powinny byc pary uporządkowane (x,y) oraz jak ograniczyć x i y by powyzsze stwierdzenie było prawdziwe.

mat: np x=−2, y=−3

mat: Jak sie ograniczyc do dodatnich liczb to prawda