kwantyfikatory Aleksandra: Zapisz w rachunku kwantyfikatorów twierdzenie 'Nie istnieje największa liczba naturalna' i zastosuj prawo de Morgana. Odczytaj otrzymane wyrażenie

janek191: Może tak : ∼ ⋁ ⋀ n ≤ a a∊ℕ n∊ℕ