40. Задание {{ 341 }} тз № 341
Какие операции над предикатами мы можем проводить?
операции квантования, отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция
отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция
отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция, навешивание квантора общности;
отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция, навешивание квантора существования
Общезначимые предикаты
41. Задание {{ 352 }} ТЗ № 352
При навешивании квантора на предикат местность предиката
остаётся неизменным
уменьшается на два
уменьшается на единицу
увеличивается на единицу
42. Задание {{ 353 }} ТЗ № 353
Пусть задан n-
местный предикат
на множестве
,
тогда (n-1)-местный
предикат
равносилен предикату
43. Задание {{ 354 }} ТЗ № 354
Если
одноместный предикат заданный на
множестве
,
то предикат
равносилен предикату
44. Задание {{ 355 }} ТЗ № 355
Пусть задан n-
местный предикат
на множестве
,
тогда (n-1)-местный
предикат
равносилен предикату
45. Задание {{ 356 }} ТЗ № 356
Если
одноместный предикат заданный на
множестве
,
то предикат
равносилен предикату
46. Задание {{ 357 }} ТЗ № 357
Предикатная формула
вида
называется предварённо-нормальной
формой, если
-
квантор общности или существования,
-
переменные, А – предикат
- квантор общности или существования, - переменные, А – приведенная форма;
- квантор общности или существования, - переменные, А – простые формулы;
- квантор общности или существования, - переменные, А – связанные формулы.
47. Задание {{ 358 }} ТЗ № 358
Если
- предикат, заданный на множестве Д, то
справедливо утверждение:
48. Задание {{ 359 }} ТЗ № 359
Если общезначимы
и
,
то общезначим …
49. Задание {{ 360 }} ТЗ № 360
Если общезначимы предикаты и , то общезначим
50. Задание {{ 361 }} ТЗ № 361
общезначимо в ИП, если для любого набора значений переменных из области Д, принимает
только ложные значения;
только истинные значения;
или ложные или истинные значения
аксиомы гильберта.
Операции над предикатами
51. Задание {{ 342 }} ТЗ № 342
предикат заданный на множестве Д, какие из следующих равенств верно?
;
52. Задание {{ 343 }} ТЗ № 343
Отрицанием предиката , заданного на множестве Д, называется предикат, заданный на том же множестве, подмножество истинности которого есть
дополнение к подмножеству истинности предиката
множество Д
пересечение подмножества истинности предиката и Д
дополнение к предикату
53. Задание {{ 344 }} ТЗ № 344
и предикаты заданные на множестве Д, какие из следующих равенств верно?
54. Задание {{ 345 }} ТЗ № 345
Конъюнкцией двух предикатов и , заданных на одном и том же множестве Д называется предикат заданный на том же множестве Д, подмножество истинности которого есть
пересечение предикатов и
объединение подмножеств истинности предикатов и
объединение предикатов и
пересечение подмножеств истинности предикатов и
55. Задание {{ 346 }} ТЗ № 346
и предикаты заданные на множестве Д, какие из следующих равенств верно?
56. Задание {{ 347 }} ТЗ № 347
Дизъюнкцией двух предикатов и , заданных на одном и том же множестве Д, называется предикат заданный на том же множестве Д, подмножество истинности которого есть
объединение подмножеств истинности предикатов и
пересечение предикатов и ;
объединение предикатов и
пересечение подмножеств истинности предикатов и
57. Задание {{ 348 }} ТЗ № 348
и предикаты заданные на множестве Д, какие из следующих равенств верно?
58. Задание {{ 349 }} ТЗ № 349
Импликацией двух предикатов и , заданных на одном и том же множестве Д, называется предикат, заданный на том же множестве Д, подмножество истинности которого есть
пересечение дополнения подмножества истинности предиката и объединение подмножеств истинности предикатов и
объединение предиката и пересечение предикатов и
объединение дополнения подмножества истинности предиката и пересечение подмножеств истинности предикатов и
объединение подмножества истинности предиката и пересечение дополнений подмножеств истинности предикатов и