Предикаты

[Asia fox]

Записань ВНФ и ССФ формулы числения предиката первого порядка, выполнить унификацию атомов дизьюнктов. ∃х(А(х)→B(z))→∃(C(y)∪A(x)→∀z(C(y)∪B(z)))

[Karan]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
по следующим причинам:

- неинформативный заголовок;
- неправильно набраны формулы (краткие инструкции: «Краткий FAQ по тегу [math]» и видеоролик Как записывать формулы);
- отсутствуют собственные содержательные попытки решения задач(и).

Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.