Задание {{ 354 }} ТЗ № 354
Если одноместный предикат заданный на множестве , то предикат равносилен предикату £
R
£
£
Задание {{ 355 }} ТЗ № 355 Пусть задан n- местный предикат на множестве , тогда (n-1)-местный предикат равносилен предикату £
R
£
£
Задание {{ 356 }} ТЗ № 356 Если одноместный предикат заданный на множестве , то предикат равносилен предикату £
R
£
£
Задание {{ 357 }} ТЗ № 357 Предикатная формула вида называется предварённо-нормальной формой, если £ - квантор общности или существования, - переменные, А – предикат
R - квантор общности или существования, - переменные, А – приведенная форма;
£ - квантор общности или существования, - переменные, А – простые формулы;
£ - квантор общности или существования, - переменные, А – связанные формулы.
|