Интеллектуальные информационные системы - КМ-4. Методы доказательства рассуждений в логических системах. Тестирование - 83,3%

Интеллектуальные информационные системы - КМ-4. Методы доказательства рассуждений в логических системах. Тестирование -83,3%
🔴 Другие тесты | Отдельные ответы по предмету | Помощь со сдачей ⬅️
Список вопросов:
1 Примечание: В математической логике, в отличие от схемотехники, принято использовать обозначения И (истина) и Л (ложь) для значений атомарных высказываний. При работе с высказываниями, представленными в виде формул, допустимо использовать обозначения 1 (истина) и 0 (ложь) для наглядности. Правила выполнения логических операций представлены в таблицах в лекционном материале.Какая логическая операция задана таблицей:
2 Даны формулы F1, F2, …, Fn и G. Формула G является логическим следствием формул F1, F2, …, Fn если: А) для всех интерпретаций, в которых истинны F1, F2, …, Fn, истинно также G; Б) формула F1 & F2 & … & Fn ⟶ G общезначима; В) формула F1 & F2 & … & Fn & ¬G противоречива. Какое из определений является правильным?
3 Формулу ∃x ∀y (A(x) & C(x) & (S(x, y) ∨ ¬A(y))) необходимо привести к Сколемовской стандартной форме. Какой вариант преобразования будет правильным:
4 Какие пары формул исчисления высказываний, приведенные ниже, не являются равносильными: 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)
5 Какие из приведенных формул являются тавтологиями:
6 Дана логическая формула F. Что называется интерпретацией формулы F= (A ⟶ (B ∨ ¬C)) ⟶ D
7 Даны две логические формулы: ¬ (А &В⟶А) и A ⟶ A∨B Эти формулы
8 Какие из приведенных формул исчисления предикатов содержат свободные переменные, и, следовательно, не могут принять конкретное значение И или Л:
9 Являются ли две приведенные формулы исчисления высказываний равносильными? A&B&C∨ ¬B ∨B&¬(A∨¬C)) и ¬B∨C
10 Две логические формулы, значения которых совпадают на всех интерпретациях, называются:
11 В логике высказываний используется определение: Высказывание — это предложение, в котором содержится какая-то информация и которое может быть оценено как истинное или ложное. Такие высказывания называют атомарными высказываниями, или атомами. Рассмотрим фразы: А) Коля выучил уроки. Б) Число х делится на 5. В) Сегодня идет дождь. Г) Стойте справа, проходите слева. Д) На столе лежит книга. Какие из них являются высказываниями?
12 Какие из приведенных четырёх формул логики предикатов представлены в Сколемовской стандартной форме (ССФ)

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