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

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

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