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

Утверждение Если Петя принадлежит к нашей компании (К), то он весел (В) и на него можно
положиться (П)
представлено в виде формулы логики высказываний.
Выберите правильную формулу для записи этого утверждения:

• (К -> В) & (К ->П)
• К-> В&П
• В& П-> К
• Kv B&n
• (К -> В) & П

В формулах логики предикатов используются две связки:
Связка Ɐ - квантор всеобщности;
Если P(х) - одноместный предикат, то запись ⱯxP(x) означает, что свойство Р выполняется для всех
предметов из предметной области.
Связка 3 - квантор существования.
3 xP(x) означает, что существует по крайней мере один предмет, обладающий свойством Р.
На множестве живых существ введены предикаты: R(x) "х - рыба",
А(х) «х - акула» и D(x) « x- добрый».
Какая из приведенных формул исчисления предикатов имеет смысл
«Все рыбы кроме акул добры»:

• ⱯX (R(x) & -A(x) ->D(x))
• ⱯX (R(x) & D(x)) -> vx (A(x)&-D(x))
• ⱯX (R(x)V-A(x)vD(x))
• 3x R(x) & - A(x)&D(x)
• ⱯX (R(x) -> ∃x (-D(x)&A(x))

Дана формула логики высказываний
(A&CVB) -> (BvC-> -A&B)
Формула приведена к дизъюнктивной нормальной форме.
Укажите правильный ответ:

• -AV-B&-C
• A&B V -A & C
• -AV-B
• A&-CvA&-B

Известно, что предикаты отражают свойства и отношения между предметами из предметной области.
Предикаты содержат переменные, которые можно заменить конкретным предметом из предметной
области.
Пусть предметная область - это множество людей. На множестве людей задан предикат D(x, y), что
означает « х дружит с у - ком».
Какая из приведенных формул исчисления предикатов означает: «У Петра есть друг»:

• D(Петр, Иван)
• Ǝx Ɐy D(x, y)
• Ǝу D(Пeтp, y)
• Ɐx Ǝy D(x, y)

На множестве живых существ введены предикаты:
P(х) "х - птица" и L(x) "x - летает".
Какая из приведенных формул исчисления предикатов имеет смысл «Не все птицы летают»:

P(x) & - Ɐx L(x)
P(x) -> - Ɐx L(x)
P(x)&-L(x)
Ǝx (P(x) -L(x))
-Ɐx (P(x) - L(x))

Какие из приведенных формул являются тавтологиями:

• 1,2,4
• 3
• 3,4
• Все формулы являются тавтологиями
• 2,3

Даны формулы F₁, F₂, ... , F_n и G.
Формула G является логическим следствием формул F1, F₂ ... , F_n
если:
А) для всех интерпретаций, в которых истинны F₁, F₂, .. , F_n, истинно также G;
Б) формула F₁ & F₂ & ... & F_n -> G общезначима;
В) формула F₁ & F₂ & ... & F_n & -G противоречива.
Какое из определений является правильным?

• Правильным является определение Б)
• Правильным является определение А)
• Правильным является определение В)

Формула
Ɐy (A(a) & C(a) & (S(a, y) v A(y)))
представлена в Сколемовской стандартной форме (ССФ) и преобразована в множество дизъюнктов
S={(a), C(a) , S(a, y) v A(y)}
Сколько всего дизъюнктов содержит S?

• Три дизъюнкта
• Четыре дизъюнкта
• Один дизъюнкт
• Два дизъюнкта

Дана логическая формула F.
Что называется интерпретацией формулы F= (A -> (B v-С)) -> D

• все возможные значения формулы F;
• приписывание конкретных значений (0, 1) атомам A, B, C, D;
• преобразование формулы F к более простому виду.
• построенная таблица истинности;

Какие пары формул исчисления высказываний, приведенные ниже, являются равносильными:
1. (A&B) и - (-Av-B)
2. (-Av-B) и -(AVB)
3. А->В и -(A&-B)
4. (А->В) и (-А->В)
5. А->В и (-В-> -А)

• 2,3, и 4
• 1,2, и 3
• 1,3, и 5
• 2,3 и 5
• 2,4, и 5

Высказывания:
«Посадил дед репку» обозначим как А,
«Выросла репка большая-пребольшая» обозначим В.
Какое утверждение соответствует формуле:
A&B v (-B-> -A) ?

• Дед посадил репку и она выросла или если репка не выросла, то дед её не сажал.
• Дед посадил репку и репка выросла, или дед не сажал репку, а репка выросла.
• Если дед посадил репку, то она выросла, а если дед не посадил репку, то репка не выросла.
• Репка выросла тогда и только тогда, когда дед её посадил.
• Дед посадил репку и она выросла, или дед не сажал репку и она не выросла.

В логике высказываний используется определение:
Высказывание - это предложение, в котором содержится какая-то информация и которое может быть
оценено как истинное или ложное. Такие высказывания называют атомарными высказываниями, или
атомами.
Рассмотрим фразы:

А. Число х> у.
Б. Марс планета Солнечной системы.
В. Дай мне книгу.
Г. Лондон - столица Англии.
Д. Сегодня теплая погода.
Какие из них являются высказываниями?

• Все фразы - высказывания
• Б, Г и Д
• АиБ
• А, Б и В
• Б, В и Г

Для двух дизъюнктов из множества S
D1= P(x) V -P(g(y)) V-R(x)
n D2 = P(x) V Q(x, z)
была построена резольвента.
Резольвента дизъюнктов D1, D2 это выражение

• P(x) v P(g(y)) V-R(x) V Q(x, z)
• P(g(y)) V-R(x) V Q(g(y), z)
• P(x) v-R(g(y)) v Q(x, z)
• P(x) V -R(x) v Q(g(y), z)

Какие пары формул исчисления высказываний, приведенные ниже, не являются равносильными:

• Все пары формул равносильны
• 1,4, и 5
• 2 и з
• 3 и 5
• 1 и 5

Введём обозначения для следующих утверждений:
Петя принадлежит к нашей компании обозначим (К),
Петя весел (В),
На Петю можно положиться (П).
Какой фразе на естественном языке соответствует утверждение,
представленное в виде формулы логики высказываний
-(Bv n) -- K
Выберите правильную фразу, сопоставленную этой формуле:

• Выберите правильную фразу, сопоставленную этой формуле:
• Если Петя не принадлежит нашей компании, то он не весел и на него нельзя положиться.
• Если на Петю нельзя положиться, то он не весел и не принадлежит к нашей компании.
• Если Петя не весел, то, если на него нельзя положиться, то он не принадлежит к нашей компании.
• Если неверно, что Петя весел, или на него можно положиться, то он не принадлежит к нашей компании.
• Либо Петя не весел, либо, на него нельзя положиться и он не принадлежит к нашей компании.