2015-10-22
1486
а) да;
б) нет.
31. «1=0» является предикатом:
а) унарным;
б) тернарным;
в) 0 – местным;
г) бинарным.
32. Предикат Р(x), заданный на множестве М, является неопределенным высказыванием, если:
а) множество М является нечетким;
б) переменная X обозначает любой элемент из множества М;
в) множество М является несчетным;
г) множество М является бесконечным.
33. Какие переменные в предикате "x2$x5P(x1,x2,x3,x4,x5) являются связными?
а) x1,x2,x3,x4,x5;
б) x2,x5;
в) x1,x3,x4.;
г) Р.
34. Какие переменные в предикате "x2$x5P(x1,x2,x3,x4,x5) являются свободными?
а) x1,x2,x3,x4,x5;
б) x2,x5;
в) x1,x3,x4;
г) Р.
35. Предикат "x2$x5P(x1,x2,x3,x4,x5) является:
а) унарным;
б) тернарным;
в) 0 – местным;
г) бинарным.
36. xÎX, yÎY, XÌY, P(x,y) – «x=y», Y – множество натуральных чисел. Определить истинное высказывание:
а) "yP(x,y);
б) $xP(x,y);
в) "xP(x,y);
г) $yP(x,y).
37. xÎX, yÎY, XÌY, P(x,y) – «x=y», Y – множество натуральных чисел. равносильны ли предикаты 
и 
?
а) да;
б) нет.
38. xÎX, yÎY, XÌY, P(x,y) – «x=y», Y – множество натуральных чисел. равносильны ли предикаты 
и 
?
|
|
|
а) да;
б) нет.
39. xÎX, yÎY, XÌY, P(x,y) – «x=y», Y – множество натуральных чисел. равносильны ли предикаты 
и 
?
а) да;
б) нет.
40. Какие из высказываний S1, S2, S3, состоящих из двух элементарных А и В, равносильны?
S1: «Если А, то не В».
S2: «А или не В».
S3: «Неверно, что А и В».
а) S1=S2;
б) S1=S3;
в) S2=S3.
