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

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

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

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

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

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

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

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