patrz niżej ), tylko skąd tego
"dziwoląga" masz
, a może to miało być tak −3 ≤ x ≤ 3 ⇔ |x| ≤ 3
−−−−−−−−−−−−−−−−−−−
3 ≤ x ≤ 3 ⇔ x ≥ 3 i x ≤ 3 ⇔ (x>3 v x=3) i (x<3 v x=3) ⇔
⇔ (x>3 i x<3) v (x>3 i x=3) v (x=3 i x<3) v (x=3 ix=3) ⇔
⇔ x∊∅ v x∊∅ v x∊∅ v x=3 ⇔ x=3 c.n.w.