Главная /
Структуры данных и модели вычислений /
Пусть P и Q - соответственно одноместный и двухместный предикатные символы. Какие из перечисленных формул являются сколемовской формой формулы ∀x ∃y [P(x)& Q(x,y)]?
Пусть P
и Q
- соответственно одноместный и двухместный предикатные символы. Какие из перечисленных формул являются сколемовской формой формулы ∀x ∃y [P(x)& Q(x,y)]
?
вопрос
Правильный ответ:
∀x [P(x) ∨ Q(x, f(x))]
∀x [P(f(x)) ∨ Q(x, f(x))]
∀z [P(z) ∨ Q(z, f(z))]
Сложность вопроса
52
Сложность курса: Структуры данных и модели вычислений
82
Оценить вопрос
Комментарии:
Аноним
Какой человек ищет данные вопросы по интуит? Это же элементарно (я не ботан)
28 окт 2018
Аноним
Какой студент ищет данные ответы интуит? Это же легко
07 ноя 2015
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.
- # Пусть p(n) - максимальная продуктивность Абак-программы, состоящей из n команд. Какие соотношения для функции p(n) истинны?
- # Как можно оценить длину правой ветви левостороннего дерева, состоящего из n узлов?
- # Какие из записей являются результатом инкрементации 2-го разряда в избыточными b-арном (b=10) представлении 3b8b45 ?
- # Какие из записей является результатом удвоения числа 3b8b45, заданного в избыточными b-арном представлении (b=10)?
- # Сколько может быть толстых деревьев в толстом лесе из 33 узлов?