Главная /
Структуры данных и модели вычислений /
Пусть P и Q - одноместные, а R - двухместный предикатные символы. Какие из перечисленных формул являются тождественно истинными?
Пусть P
и Q
- одноместные, а R
- двухместный предикатные символы. Какие из перечисленных формул являются тождественно истинными?
вопрос
Правильный ответ:
∀x [P(x) ∨ Q(x)]→∀x P(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)]
Сложность вопроса
62
Сложность курса: Структуры данных и модели вычислений
82
Оценить вопрос
Комментарии:
Аноним
Это очень элементарный тест по интуиту.
04 мар 2020
Аноним
Спасибо за помощь по intuit.
06 янв 2017
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.
- # Каково будет содержимое ленты после выполнения программы [K1, K2], если на ее вход подать псевдослово *u2 * u1*↓(считаем, что слова u1, u2 не содержат символа *, K1 - копирование первого слова, K2 - копирование второго слова)?
- # Сколько слов длины 3 содержится в регулярном множестве, заданном регулярным выражением (a+b+c)*?
- # Какой класс функций используется для оценки трудоемкости алгоритмов сверху?
- # Какие из записей являются избыточными b-арными (b=10) представлениями числа 1041045, представленного в обычной десятичной системе счисления?
- # Толстая куча построена из одного дерева F3 и одного дерева F2. Сколько в ней узлов ранга 2?