
- •Функции алгебры логики
- •16. В каком столбце таблицы находятся значения функции ↔ 4
- •Содержательное исчисление высказываний
- •Формулы алгебры высказываний. Формальное исчисление высказываний
- •50. Каким из ниже перечисленных слов следует заменить символ ▼ в следующем определении.
- •Логика предикатов
- •Формулы логики предикатов
- •Теория алгоритмов.
- •101. Каким из ниже перечисленных слов следует заменить символ ▼ в следующем определении.
- •102. Каким из ниже перечисленных слов следует заменить символ ▼ в следующем определении.
- •103. Каким из ниже перечисленных слов следует заменить символ ▼ в следующем определении.
- •106. Каким из ниже перечисленных слов следует заменить символ ▼ в следующем определении.
Логика предикатов
61. Каким
из ниже перечисленных слов или сочетанием
слов следует заменить символ ▼ в
следующем определении. n-местный
предикат – это определённое на множестве
функция, которое при подстановке вместо
элементов
из множества
обращается в ▼: высказывание.
62.Если при любой подстановке вместо переменных из предикат превращается в истинное высказывание, то он называется тождественно-истинным
63.Если при любой подстановке вместо переменных из предикат превращается в ложное высказывание, то он называется тождественно-ложным.
64.
Предикат
,
заданный на множестве
,
называется
выполнимым,
если существует такой набор переменных,
взятый из множеств
,
что при подстановке их вместо
получим истинное
высказывание.
65. Предикат , заданный на множестве , называется опровержимым, если существует такой набор переменных, взятый из множеств , что при подстановке их вместо получим ложное высказывание.
66. Каким из ниже перечисленных слов или сочетанием слов следует заменить символ ▼: в следующем определении.
Операцией
связывания кванторов общности называется
правило, по которому каждому одноместному
предикату P(x),
определенному на множестве М
сопоставляется высказывание
,
которое истинно тогда и только тогда,
когда P(x)
является ▼ и ложно в противном случае.
тождественно-истинным
предикатом
67 Каким из ниже перечисленных слов или сочетанием слов следует заменить символ ▼ в следующем определении.
Операция
связывания кванторов существования
называется правило, по которому каждому
одноместному предикату P(x),
определенному на множестве М сопоставляется
высказывание
,
которое ложно в том и только том случае,
когда P(x)
является ▼ и истинно в противном
случае.
тождественно
ложным предикатом
68. Каким из ниже перечисленных слов или сочетанием слов следует заменить символ ▼ в следующем определении.
Операцией
связывания кванторов общности по
переменной
называется
правило, по которому каждому n-местному
предикату
,
определенному на множестве
сопоставляется (n-1)-местный
предикат
,
определенный на множестве
,
который на любых наборах
превращается в высказывание
,
истинное в том и только том случае,
когда одноместный предикат
,
определенный на множестве
,
является ▼ и ложно в противном случае.
тождественно-истинным.
г) тождественно ложным предикатом:
69
Операцией связывания кванторов
существования по переменной
называется
правило, по которому каждому n-местному
предикату
,
определенному на множестве
,
сопоставляется (n-1)-местный
предикат
,
определенный на множестве
,
который на любых наборах
превращается в высказывание
,
ложное в том и только том случае, когда
одноместный предикат
,,
определенный на множестве
,
является ▼ и истинно в противном случае.
тождественно
ложным предикатом:
70. В формуле переменная называется связанной.
71. В формуле переменная называется связанной.
72. В
формуле
переменная
называется свободной.
73. В формуле переменная называется свободной.
74. Предикат ln(x²+y³)=21,5, где х, у –действительные числа, является выполнимым
75. Предикат x²+y²= -11, где х, у –действительные числа, является тождественно ложным.
76: Предикат ln(x²+y³)=21,5, где х, у –целые числа, является тождественно ложным
77. Предикат x²+y²= -11, где х, у –комплексные числа, является выполнимым
78. Предикат «Формальная теория высказываний является x» где x есть одно из понятий множества {формальная теория, полная теория, разрешимая теория, непротиворечивая теория} является
тождественно истинным.
79. Предикат «Формальная теория предикатов является x» где x есть одно из понятий множества {формальная теория, полная теория, разрешимая теория, непротиворечивая теория} является
выполнимым
80. Формула является открытой