w pytanie: Zapisać za pomocą symboliki logicznej zdanie,funkcja zdaniowa jest dla liczb naturalnych.: Każda liczba przy dzieleniu przez 2 daje resztę 1 lub 0. ∀x = 2 * t + r E −> r = 0 v r = 1 dobrze ?

Saizou : ∀x∊ℕ ∃t,r∊ℕ [(x=2t+r)→(r=0 ∨ r=1)]

Janek191:

	x		x
∀ x∊ℕ [ r(		) = 0 ∨ r(		) = 1 ]
	2		2

Saizou : Janek ale taki przypadku musimy mieć zdefiniowane co to jest r(x)