Zapisać za pomocą kwantyfikatorów spójników logicznych i innych symboli
Aaa: zadna liczba naturalna nie jest wielokrotnoscia liczby pierwszej
Nie istnieje najwieksza liczba całkowita podzielna przez 4
29 lis 09:40
kochanus_niepospolitus:
1)
~∃n∊N ∀p∊P n|p
2)
~∃n∊Z ∀m∊Z (n|4 ∧ m|4) ⇒ n>m
29 lis 10:01