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
15 paź 09:54
Blee:
∃k 2*k = n
∃k m = n + k + 1
∃k,l (k+2)*(l+2) = n
~∃k,l (k+2)*(l+2) = n
15 paź 10:09