logika nowy: Niech x=y, x<y, x≤y beda funkcjami zdaniowytmi okreslonymi dla liczb naturalnych. Za ich pomoca, korzystajac ze znanych operacji arytmetycznych, takich jak x+y, x*y, symboli dla liczb oraz symboli logicznych, zapisac funkcje zdaniowa. x przy dzieleniu przez 4 daje reszte 1 lub 2 czy moze to byc tak rozwiazane? ∃a∊N: [x=4a+1 ∨ x=4a+2]

nowy: ?