wyznaczenie zbioru gatek: Czy mógłby mi ktoś tak łopatologicznie wyjaśnić jak wyznaczyć zbiór, który jest opisany tak: B={ x∊R: ~(x≠5 ⇔x²<4) }

pigor: ..., widzę to tak : B = { x∊R : ~(x≠ 5 ⇔ x²< 4) } , to ~(x≠ 5 ⇔ x²< 4) ⇔ ~[(x≠ 5 ⇒ x²< 4) ∧ (x²< 4 ⇒ x≠5)] ⇔ ⇔ ∼(x≠ 5 ⇒ x²< 4) ∨ ∼(x²< 4 ⇒ x≠5) ⇔ ⇔ (x≠5 ∧ x² ≥4) ∨ [x²< 4 ∧ (x<5 ∨ x >5)] ⇔ ⇔ (x≠5 ∧ |x| ≥ 2) ∨ (|x|< 2 ∧ x< 5) ∨ (|x|< 2 ∧ x >5) ⇔ ⇔ [x≠5 ∧ (x≤ −2 ∨ x ≥2)] ∨ −2< x< 2 ∨ x∊∅ ⇔ ⇔ (x≠5 ∧ x≤ −2) ∨ (x≠5 ∧ x ≥2) ∨ −2< x< 2 ⇔ ⇔ x ≤ −2 ∨ 2 ≤ x <5 ∨ x >5 ∨ −2< x< 2 ⇔ x≠5 ⇔ R\{5} =B= {x∊R : x≠5}...

gatek: dzieki wielkie