Ответы к заданиям КМ-2: Интеллектуальные информационные системы - КМ-2. Вывод в логических системах. Тестирование - 100%

Курс Интеллектуальные информационные системы - КМ-2. Вывод в логических системах. Тестирование - 100%
🔴 Другие тесты | Отдельные ответы по предмету | Помощь со сдачей ⬅️
Список вопросов:
1 Даны две логические формулы: (В ⟶(В⟶А)) и A ⟶ A∨B Эти формулы
2 Даны формулыКакие из этих формул представлены в дизъюнктивной нормальной форме?
3 На множестве живых существ введены предикаты: P(x) “x – птица” и L(x) “x – летает”. Найдите формулу, двойственную формуле ¬ ∀x (P(x) ⟶ L(x))
4 Даны две логические формулы: (А ⟶ (В⟶А)) и (2) A & B&¬А Логическая формула (1), истинна во всех интерпретациях, логическая формула (2) – ложна во всех интерпретациях. Как правильно называются эти формулы?
5 Формула ∀y (A(a) & C(a) & (S(a, y) ∨ A(y))) представлена в Сколемовской стандартной форме (ССФ) и преобразована в множество дизъюнктов S={ A(a), C(a) , S(a, y) ∨ A(y)} Сколько всего дизъюнктов содержит S?
6 Дана формула логики высказываний (¬A&C∨B)⟶(B∨C ⟶ A&B) Формула приведена к конъюнктивной нормальной форме. Укажите правильный ответ:
7 В логике высказываний используется определение: Высказывание — это предложение, в котором содержится какая-то информация и которое может быть оценено как истинное или ложное. Такие высказывания называют атомарными высказываниями, или атомами. Рассмотрим фразы: А) Коля выучил уроки. Б) Число х делится на 5. В) Сегодня идет дождь. Г) Стойте справа, проходите слева. Д) На столе лежит книга. Какие из них являются высказываниями?
8 В логике высказываний используется определение: Высказывание — это предложение, в котором содержится какая-то информация и которое может быть оценено как истинное или ложное. Такие высказывания называют атомарными высказываниями, или атомами. Рассмотрим фразы: А. Число х > y . Б. Марс планета Солнечной системы. В. Дай мне книгу. Г. Лондон – столица Англии. Д. Сегодня теплая погода. Какие из них являются высказываниями?
9 Какие из приведенных формул исчисления предикатов содержат свободные переменные, и, следовательно, не могут принять конкретное значение И или Л:
10 Формула ∀y (A(a) & C(a) & (S(a, y) ∨ A(y))) представлена в Сколемовской стандартной форме (ССФ). Затем было построено множество дизъюнктов S. Выберите правильный вариант множества S
11 Высказывания «Посадил дед репку» обозначим как А, «Выросла репка большая-пребольшая» обозначим B. Какие формулы соответствуют двум утверждениям: «Если дед посадил репку, то она выросла» «Неверно, что, дед посадил репку, а репка не выросла»
12 В формулах логики предикатов используются две связки: Связка ∀- квантор всеобщности; Если P(x) - одноместный предикат, то запись ∀xP(x) означает, что свойство P выполняется для всех предметов из предметной области. Связка ∃ - квантор существования. ∃ xP(x) означает, что существует по крайней мере один предмет, обладающий свойством P. На множестве живых существ введены предикаты: R(x) “x – рыба”, А(х) «х – акула» и D(x) « х- добрый». Какая из приведенных формул исчисления предикатов имеет смысл «Все рыбы кроме акул добры»:
13 Введём обозначения для следующих утверждений: Петя принадлежит к нашей компании обозначим (К), Петя весел (В) , На Петю можно положиться (П). Какой фразе на естественном языке соответствует утверждение, представленное в виде формулы логики высказываний ¬(В∨ П) ⟶ ¬К Выберите правильную фразу, сопоставленную этой формуле:
14 Дана логическая формула F. Что называется интерпретацией формулы F= (A ⟶ (B ∨ ¬C)) ⟶ D
15 Примечание: В математической логике, в отличие от схемотехники, принято использовать обозначения И (истина) и Л (ложь) для значений атомарных высказываний. При работе с высказываниями, представленными в виде формул, допустимо использовать обозначения 1 (истина) и 0 (ложь) для наглядности. Правила выполнения логических операций представлены в таблицах в лекционном материале. Какая логическая операция задана таблицей:

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