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