Главная / Структуры данных и модели вычислений / Пусть 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
Оставить комментарий
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.