💯Ответы к КМ-2: Вывод в логических системах (Курс Интеллектуальные информационные системы (ИИС))🔥

Курс Интеллектуальные информационные системы (ИИС) - КМ-2. Вывод в логических системах. Тестирование - 100%
🔴 Другие тесты | Отдельные ответы по предмету | Помощь со сдачей ⬅️
Список вопросов:

1. Какие пары формул исчисления высказываний, приведенные ниже, не являются равноси
2. Какие из приведенных четырёх формул логики предикатов представлены в Сколемовской стандартной форме (ССФ)
3. Какие пары формул исчисления высказываний, приведенные ниже, являются равносильными:
4. Даны две логические формулы: -(A &B->A) и A -> AvB Эти формулы
5. Введём обозначения для следующих утверждений: етя принадлежит к нашей компании обозначим (К), етя весел (В), а Петю можно положиться (Г). акой фразе на естественном языке соответствует утверждение, редставленное в виде формулы логики высказываний (Bv П) ->-К ыберите правильную фразу, сопоставленную этой формуле:
6. Формула y (A(a) & C(a) & (S(a, y) v A(y))) редставлена в Сколемовской стандартной форме (ССФ) и преобразована в множество дизъюнктов ={A(a), C(a), S(a, y) v A(y)] колько всего дизъюнктов содержит S?
   Дана формула логики высказываний -A&CVB)->(BvC-> A&B) ормула приведена к конъюнктивной нормальной форме. Укажите правильный ответ:
7. Какие из приведенных формул являются противоречиями:
8. Какие из приведенных четырёх формул логики предикатов представлены в пренексной нормальной форме (ПНФ
9. Формула Vy (A(a) & C(a) & (S(a, y) v A(y))) представлена в Сколемовской стандартной форме (ССФ). Затем было построено множество дизъюнктов S. Выберите правильный вариант множества S Имеется множество дизъюнктов S = [P v Q, -P v Q, Pv-Q, -Pv-Q]. Для доказательства противоречивости S были получены некоторые резольвенты. Результатом резолюции дизъюнктов 1 и 4 стал новый дизъюнкт Q v -Q 1.PvQ, 2 .- PvQ, 3.PV-Q, 4 .- PV-Q. 5 Qv-Q, (резольвента 1 и 4) Какое из следующих утверждений справедливо:
10. Примечание: В математической логике, в отличие от схемотехники, принято использовать обозначения И (истина) и Л (ложь) для значений атомарных высказываний. При работе с высказываниями, представленными в виде формул, допустимо использовать обозначения 1 (истина) и 0 (ложь) для наглядности. Правила выполнения логических операций представлены в таблицах в лекционном материале. Какая логическая операция задана таблицей:
11. Дана логическая формула (А -> (B v -С)) -> D. Сколько интерпретаций данной формулы существует:
12. На множестве живых существ введены предикаты: Р(х) "х - птица" и L(х) "х - летает". Найдите формулу, двойственную формуле - Vx (P(х) - L(х))
13. Даны две логические формулы: (А -> (В->А)) и (2) A & B&-А Логическая формула (1), истинна во всех интерпретациях, логическая формула (2) - ложна во всех интерпретациях. Как правильно называются эти формулы?

➡️Любой предмет | Любой тест | Любая практика | ВКР (Диплом)⬅️
🗝️ ▶Помощь с сессией/долгами под ключ ◀ 🗝️