Задание {{ 351 }} ТЗ № 351
Эквиваленцией двух предикатов £ пересечение объединений предикатов
£ пересечение объединений подмножеств истинности предикатов
R объединение пересечений подмножеств истинности предикатов
Общезначимые предикаты Задание {{ 352 }} ТЗ № 352 При навешивании квантора на предикат местность предиката £ остаётся неизменным
£ уменьшается на два
R уменьшается на единицу
£ увеличивается на единицу
Задание {{ 353 }} ТЗ № 353 Пусть задан n- местный предикат R
£
£
£
|
и 
, заданных на одном и том же множестве Д, называется предикат, заданный на том же множестве Д, подмножество истинности которого есть
на множестве 
, тогда (n-1)-местный предикат 
равносилен предикату
