Главная /
Структуры данных и модели вычислений /
Пусть P и Q - одноместные предикатные символы. Какие из перечисленных формул являются тождественно истинными?
Пусть P и Q - одноместные предикатные символы. Какие из перечисленных формул являются тождественно истинными?
вопрос
Правильный ответ:
∃x [P(x) & Q(x)] → ∀xP(x) ∨ ∃x Q(x) [∀x P(x) ∨ ∃x Q(x)] → ∀x [P(x) ∨ Q(x)] ∃x ∀y R(x, y) → ∀x ∃y R(x, y) Сложность вопроса
59
Сложность курса: Структуры данных и модели вычислений
82
Оценить вопрос
Комментарии:
Аноним
Экзамен сдал на 4 с минусом.
03 мар 2020
Аноним
Я провалил зачёт, какого чёрта я не увидел этот крутой сайт с всеми ответами по интуит прежде
10 сен 2018
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.
- # Какие из следующих регулярных выражений в алфавите {a, b, c} являются решениями уравнения X = Xα , где α = ab+aс?
- # Пусть P Q и S- одноместные и R - двухместный предикатные символы, a, b - константы. Какие из перечисленных ниже формул могут быть выведены с помощью правила резолюции из формул P(x) ∨ Q(y) ∨ R(b, x) и P(b) ∨ S(y) ∨ R(y, a)?
- # Какие из следующих операций выполняются за время Ο(1) при динамическом представлении списка с односторонними связями?
- # Каково минимальное число узлов в левостороннем дереве высота 3?
- # Как изменится число биномиальных деревьев в биномиальном лесе с общим количеством узлов равным 60 при удалении из него одного элемента?