2015-01-30
671
1. Предикат 
, определен на множестве 
. Истинным является высказывание:
A) 
; B) 
;
C) 
; D) 
;
E) 
.
2. Предикат 
, определен на множестве 
истинным является высказывание:
A) 
; B) ;
C) ; D) 
;
E) .
3. Предикат 
делится нацело на х2 определен на множестве 
. Истинным является высказывание:
A) ; B) ;
C) ; D) ;
E) 
.
4. Предикат P(x1; x2): «(x1 +x2)- число четное» определен на множестве 
. Истинным является высказывание:
A) ("x1)("x2) [P(x1, x2)]; B) ("x1)($x2)[ P(x1, x2)];
C) ($x1) ("x2) [ P(x1, x2)]; D) ($x2) ("x1)[P(x1, x2)];
E) ($x1) ("x2) 
.
5. Формулой логики предикатов является следующее слово:
A) 
; B) 
;
C) 
; D) 
;
E) 
.
6. Формулой логики предикатов является следующее слово:
A) 
; B) 
;
C) 
; D) 
;
E) 
.
7. Формулой логики предикатов является следующее слово:
A) 
; B) 
;
C) 
; D) ;
E) 
.
8. Замкнутой является следующая формула логики предикатов:
A) 
; B) 
;
C) 
; D) 
;
E) 
.
9. Открытой является следующая формула логики предикатов:
A) 
; B) 
;
C) 
; D) 
;
E) 
.
10. Замкнутой является следующая формула логики предикатов:
A) 
;
B) 
;
C) 
;
D) 
; E) 
.
11. Замкнутой является следующая формула логики предикатов:
A) 
; B) 
;
|
|
|
C) 
; D) ;
E) 
.
12. Равносильной является следующая пара формул логики предикатов:
A) 
и 
;
B) 
и 
;
C) 
и 
;
D) и ;
E) и .
13. Равносильной является следующая пара формул логики предикатов:
A) 
и 
;
B) 
и 
;
C) и 
;
D) 
и 
;
E) и .
14. Равносильной является следующая пара формул логики предикатов:
A) 
и 
;
B) и 
;
C) 
и ;
D) 
и 
;
E) и 
.
15. Равносильной является следующая пара формул логики предикатов:
A) 
и 
;
B) и 
;
C) 
и 
;
D) и ;
E) 
и 
.
16. Общезначимой является следующая формула логики предикатов:
A) 
;
B) 
;
C) 
;
D) 
;
E) 
.
17. Общезначимой является следующая формула логики предикатов:
A) 
;
B) 
;
C) 
;
D) 
;
E) 
.
18. Общезначимой является следующая формула логики предикатов:
A) 
;
B) 
;
C) 
;
D) 
;
E) 
.
19. Общезначимой является следующая формула логики предикатов:
A) 
;
B) 
;
C) 
;
D) 
;
E) 
.
20. Общезначимой является следующая формула логики предикатов:
A) 
; B) 
;
C) 
; D) 
;
E) 
.
21. Общезначимой является следующая формула логики предикатов:
A) 
; B) 
;
C) 
; D) ;
E) 
.
22. Следующая формула логики предикатов является тождественно-истинной на любом одноэлементном множестве, но не общезначимой:
A) ; B) ;
C) 
; D) 
;
E) .
23. Следующая формула логики предикатов является тождественно-ложной на любом множестве:
A) ; B) ;
C) ; D) 
;
E) 
.
24. Областью истинности предиката 
определенного на множестве 
, где 
и 
является множество Р+=…
25. Областью истинности предиката делится нацело на х2, определенного на множестве , где 
и 
является множество Р+=…
26. Областью истинности предиката 
определенного на множестве , является множество…
27. Если Р1(х) и Р2(х) предикаты, определенные соответственно на множествах М1 и М2, то 
A) 
; B) 
;
C) 
; D) 
; E) 
.
28. Если Р1(х) и Р2(х) предикаты, определенные соответственно на множествах М1 и М2 и 
, то 
…
|
|
|
29. Если Р1(х) и Р2(х) предикаты, определенные соответственно на множествах М1 и М2, то 
…
30. Если Р(х) предикат, определенный на множестве М, то 
тогда и только тогда, когда:
A) Р+= М; B) Р+= 
; C) 
;
D) 
; E) и 
;
31. Если Р(х) предикат, определенный на множестве М, то 
тогда и только тогда, когда…
32. Если Р(х) предикат, определенный на множестве М, то 
тогда и только тогда, когда…
33. Связанными в формуле 
являются переменные…
34. Свободными в формуле 
являются предметные переменные…
35. Формула 
является n-местным предикатом при n-равном…
36. Опустить лишние скобки в формуле 
…
A) 
;
B) 
;
C) 
;
D) 
;
E) .
37. Опустить лишние скобки в формуле 
…
38. Опустить лишние скобки в формуле 
…
39. Закон удаления квантора общности записывается в виде:
A) ╞ 
; B) ╞ 
;
C) ╞ 
;
D) ╞ 
;
E) ╞ 
.
40. Закон введения квантора существования записывается в виде…
41. Законы Де Моргана для кванторов имеют вид…
42. Приведенная нормальная форма для формулы 
имеет вид:
A) 
; B) 
;
C) 
; D) 
;
E) 
.
43. Приведенная нормальная форма для формулы 
имеет вид…
44. Приведенная нормальная форма для формулы 
имеет вид…
45. Приведенная нормальная форма для формулы 
имеет вид…
46. Предваренная нормальная форма для формулы имеет вид:
A) 
; B) 
;
C) 
; D) 
;
E) 
.
47. Предваренная нормальная форма для формулы имеет вид…
48. Предваренная нормальная форма для формулы 
имеет вид…
49. Предваренная нормальная форма для формулы 
имеет вид…
50. Отрицание высказывания 
на языке логики предикатов имеет вид:
A) 
;
B) 
;
C) 
;
D) 
;
E) 
.
51. Отрицание высказывания 
на языке логики предикатов имеет вид…
52. Отрицание высказывания 
на языке логики предикатов имеет вид…
53. Отрицание высказывания 
на языке логики предикатов имеет вид…
54. На языке логики предикатов высказывание 
имеет вид:
A) 
; B) 
;
C) 
; D) 
;
E) 
.
55. На языке логики предикатов высказывание 
имеет вид…
56. На языке логики предикатов высказывание 
имеет вид…
57. Предложение «Не более чем два объекта обладают свойством Р» на языке логики предикатов имеет вид:
A) 
;
B) 
;
C) 
;
D) 
;
E) 
.
58. Высказывание «Не более чем один объект обладает свойством Р» на языке логики предикатов имеет вид…
59. Высказывание: «По меньшей мере два объекта обладают свойством Р» на языке логики предикатов имеет вид…
60. На языке логики предикатов определение монотонно возрастающей функции 
определенной на множестве М имеет вид:
A) 
;
B) 
;
C) 
;
D) 
;
E) 
.
61. Высказывание «Функция определенная на множестве М не является монотонно возрастающей» имеет вид…
62. Предложение 
на языке логики предикатов имеет вид…
63. Если Р+ и Q+ соответственно области истинности предикатов 
, определенных на множестве М и если высказывание ложно, то:
A) 
; B) 
;
C) 
; D) 
; E) 
.
64. Если Р+ и Q+ соответственно области истинности предикатов , определенных на множестве М и если высказывание 
истинно, то…
65. Если Р+ и Q+ области истинности предикатов , определенных на множестве М и если высказывание 
истинно, то…
66. Частноотрицательное суждение может быть записано в виде следующей формулы логики предикатов:
A) 
; B) 
;
C) ; D) 
;
E) 
.
67. Частноотрицательное суждение может быть записано в виде следующей формулы логики предикатов…
68. Общеутвердительное суждение может быть записано в виде следующей формулы логики предикатов…
69. Аристотелев силлогизм: а) никакое Р не есть Q б) некоторые R суть Q, следовательно: в) некоторые R не суть Р может быть записан в виде следующей выводимости:
A) 
;
B) 
;
C) 
;
D) 
;
E) .
70. Аристотелев силлогизм: а) все Р суть Q б) все Q суть R, следовательно: в) все Р суть R может быть записан в виде следующей выводимости…
71. Аристотелев силлогизм: а) никакое Р не есть Q б) все R суть P, следовательно: в) все R не суть Q может быть записан в виде следующей выводимости…
|
|
|
72. Областью истинности предиката Р(х): “х нечетно” определенного на множестве 
является множество…
73. Областью истинности предиката Р(х): “х четно” определенного на множестве является множество…
74. Областью истинности предиката Р(х): “х кратно 3” определенного на множестве 
является множество…
75. Областью истинности предиката Р(х1, х2): “х1 делитель х2” определенного на множестве , где 
является множество:
A) 
; B) 
;
C) 
; D) 
; E) 
.
76. Областью истинности предиката Р(х1, х2): “х1 кратно х2” определенного на множестве , где 
является множество…
77. Областью истинности предиката Р(х1, х2): “ 
” определенного на множестве , где является множество…
78. Областью истинности предиката P(x1; x2): «(x1 +x2) - число четное» определенного на множестве , где M={1,2,3,4,5} является множество…
79. Областью истинности предиката P(x1; x2): «x1 >x2 Ù (x1 +x2) - число четное», определенного на множестве , где М={1,2,3,4} является множество…
80. Областью истинности предиката 
где Р(х): “х - четно”, Q(x): «х простое», определенных на множестве является множество 
A) 
; B) 
; C) 
;
D) 
; E) 
.
81. Областью истинности предиката 
где Р(х): “ 
- четно”, Q(x): « делится на 3», определенных на множестве 
является множество…
82. Областью истинности предиката 
где Р(х): “ не делится на 3”, и Q(x): « - простое число», определенных на множестве является множество…
83. Если 
и 
области истинности соответственно предикатов 
и 
, определенных на множестве М, причем предикат тождественно – ложен, то:
A) 
; B) 
; C) 
;
D) 
; E) 
.
84. Если и области истинности соответственно предикатов и , определенных на множестве М, причем предикат тождественно – истинен, то…
85. Если и области истинности соответственно предикатов и , определенных на множестве М, причем предикат 
тождественно – ложен, то…
86. Если и области истинности соответственно предикатов и , определенных на множестве М и высказывание 
ложно, то:
A) 
; B) 
; C) ;
D) ; E) 
М.
87. Если и области истинности соответственно предикатов и , определенных на множестве М и высказывание 
истинно, то…
88. Если и области истинности соответственно предикатов и , определенных на множестве М и высказывание 
истинно, то…
|
|
|
