Logika stefan: Jak zapisać liczbę wymierną i niewymierną ? Z tego co pamietam to trzeba było ja zapisac za pomocą kwantyfikatorów

Basia: x∊W ⇔ ∃_n,m∊C x = ⁿ_m x∊IW ⇔ ~(x∊W) ⇔ ~[ ∃_n,m∊C x = ⁿ_m ] ⇔ ∀_n,m∊C x ≠ ⁿ_m