logika lz: Przyjmijmy, że w języki arytmetyki liczb naturalnych mamy stałe 0, 1, 2, . . . oraz symbole + i ·. Zapisz w tym języku: a) n jest liczbą parzystą; b) m > n; c) n jest liczbą złożoną; d) n jest liczba pierwszą z uzyciem kwantyfikatorów

Blee: ∃_k 2*k = n ∃_k m = n + k + 1 ∃_k,l (k+2)*(l+2) = n ~∃_k,l (k+2)*(l+2) = n