pigor: ... otóż, prosto, łatwo i przyjemnie np. ...
tak :
|y| ≤ |x| ⇔ y
2 ≤ x
2 ⇔ y
2−x
2 ≤0 ⇔ (y−x)(y+x) ≤0 ⇔
( y−x ≤0 i y+x ≥0 )
lub (y−x ≥0 i y+x ≤0 ) ⇔
( y ≤ x i y ≥ −x ) lub ( y ≥ x i y ≤ −x ) − alternatywa koniunkcji ,
natomiast
|x| ≤ 3 ⇔
−3 ≤ x ≤ 3 , zatem taka
koniunkcja
[( y ≤ x i y ≥ −x ) lub ( y ≥ x i y ≤ −x )] i −3 ≤ x ≤ 3
jest równoważna następującej alternatywie koniunkcji
( y ≤ x i y ≥ −x i −3 ≤ x ≤ 3 ) lub ( y ≥ x i y ≤ −x i −3 ≤ x ≤ 3 ) i
ten zbiór łatwo narysujesz − mam nadzieję . ...