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

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

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

Какие из приведенных четырёх формул логики предикатов представлены в Сколемовской стандартной форме (ССФ)
​​

• Все формулы представлены в ССФ
• Все формулы, кроме первой (она содержит импликацию)
• Ни одна из формул не представлена в ССФ
• Все формулы, кроме первых двух (в них есть кванторы 3)

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

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

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

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

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

• A&(-B v.C)
• (Av-B&C)
• (AvB v C)
• (AV-B)&(AvC)

Формула Vy (A(a) & C(a) & (S(a, y) v A(y))) представлена в Сколемовской стандартной форме (ССФ). Затем было построено множество дизъюнктов S. Выберите правильный вариант множества S

• S={A(a) & C(a) & (S(a, y) v A(y))]
• S={A(a) & C(a), S(a, y) v A(y) ]
• S={A(a), C(a), S(a, y), A(y)}
• S={A(a), C(a) , S(a, y) v A(y)]

Имеется множество дизъюнктов 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) Какое из следующих утверждений справедливо:

• Противоречивость S еще не доказана, продолжаем вывод, используем при этом дизъюнкт QvQ для получения новых резольвент.
• Противоречивость S еще не доказана, продолжаем вывод, но использовать дизъюнкт QV-Q для получения новых резольвент нельзя, так как Qv-Q=И
• Противоречивость S доказана, больше не нужно продолжать вывод.