Общезначимые предикаты

Дата добавления: 2015-07-09; просмотров: 609; Нарушение авторских прав

41. Задание {{ 352 }} ТЗ № 352

При навешивании квантора на предикат местность предиката

£ остаётся неизменным

£ уменьшается на два

R уменьшается на единицу

£ увеличивается на единицу

42. Задание {{ 353 }} ТЗ № 353

Пусть задан n- местный предикат на множестве , тогда (n-1)-местный предикат равносилен предикату

43. Задание {{ 354 }} ТЗ № 354

Если одноместный предикат заданный на множестве , то предикат равносилен предикату

44. Задание {{ 355 }} ТЗ № 355

Пусть задан n- местный предикат на множестве , тогда (n-1)-местный предикат равносилен предикату

45. Задание {{ 356 }} ТЗ № 356

Если одноместный предикат заданный на множестве , то предикат равносилен предикату

46. Задание {{ 357 }} ТЗ № 357

Предикатная формула вида называется предварённо-нормальной формой, если

£ - квантор общности или существования, - переменные, А – предикат

R - квантор общности или существования, - переменные, А – приведенная форма;

£ - квантор общности или существования, - переменные, А – простые формулы;

£ - квантор общности или существования, - переменные, А – связанные формулы.

47. Задание {{ 358 }} ТЗ № 358

Если - предикат, заданный на множестве Д, то справедливо утверждение:

48. Задание {{ 359 }} ТЗ № 359

Если общезначимы и , то общезначим …

49. Задание {{ 360 }} ТЗ № 360

Если общезначимы предикаты и , то общезначим

50. Задание {{ 361 }} ТЗ № 361

общезначимо в ИП, если для любого набора значений переменных из области Д, принимает

£ только ложные значения;

R только истинные значения;

£ или ложные или истинные значения

£ аксиомы гильберта.

<== предыдущая лекция	\|	следующая лекция ==>
Местность предиката	\|	Операции над предикатами