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