Logika, zbiory NaPotęgeMatematyki: Proszę o sprawdzenie Zbiór B wygląda tak B:={x∊R: x²≤1 ⇔ |x−1|>2} Rozpisując równoważność B:={x∊R:x²≤1⇒|x−1|>2 ∨ |x−1|>2⇒ x²≤1 Dalej implikacja B:={x∊R: (x²>1 ∨ |x−1|>2) ⋁ (|x−1|≤2 ∨ x²≤1)} B:={x∊R: x∊(−∞,−1)∪(1,+∞) ⋁ (−∞,−2)∪(3,+∞) ∨ [−1,3] ∨ [−1,1]} Czyli wychodzi że x∊R czy coś źle robię?

Maslanek: Równoważność oznacza, że implikacja zachodzi w obie strony

NaPotęgeMatematyki: Dobra już widzę błąd źle rozpisana implikacja