05

7

7

Punkty 3

Niech zbiór N oznacza zbiór liczb naturalnych. P(x) będzie predykatem "x jest liczbę parzystę", Q(x) będzie predykatem *xjest liczbę meparzystę" R(x, y) oznacza predykat \ jest dwukrotnością y".

Które z poniższych schematów sę prawdziwe ?

Wybierz co najmniej jednę T odpowiedź

r

F

F

r

F

Vn(P(n) —► 3??? O(m) A Ji(n. m)) Vn(P(n) —♦ ~ 3m O(m) A R(n, m)) Vn3;;tP(;i) A Q(iń) A R(n. ni) VraVm(/2(n, m) —> P(r?))

VnVm[/?(«, m) ^ (Q(m) -> P(n))\ Vr?Ym(P(n) A 0(m) —> R(n,m)) VnV;;t(0(m) A R(n.m) —* P{n))

Poprawnie

Ocena dla tego zadania: 3/3