Пусть ϕ – пропозициональная формула в ННФ и пусть I – интерпретация ϕ. Бесплатный доступ к решению задач

Реферат.Справочник
Решенные задачи по высшей математике
Пусть ϕ – пропозициональная формула в ННФ и пусть I – интерпретация ϕ

Пусть ϕ – пропозициональная формула в ННФ и пусть I – интерпретация ϕ .pdf

Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥

Условие

Пусть ϕ – пропозициональная формула в ННФ и пусть I – интерпретация ϕ. Пусть positive(I,ϕ) – множество литералов в φ, интерпретируемых в I истинно. Например, для формулы (¬x∧y)∨z и интерпретации I=[x↦0,y↦1,z↦0], positive(I,ϕ)={¬x,y}. Доказать следующую теорему о монотонности NNF: для любых интерпретаций I и I', таких, что positive(I,ϕ)⊆positive(I',ϕ), если I⊨ϕ, то I'⊨ϕ.

Решение

Потяни, чтобы посмотреть

Из условия:
1) следует, что I=[x↦0,y↦1], positive(I,ϕ)={¬x,y} и I⊨ϕ (база индукции);
2) если I⊨ϕ верно для двух переменных, то оно верно и для трех (шаг индукции); тогда свойство I⊨ϕ выполнено для I'=[x↦0,y↦1,z↦1], positive(I',ϕ)={¬x,y,z}, т.е

50% задачи недоступно для прочтения

Переходи в Кампус, регистрируйся и получай полное решение

Получить задачу

Найти неопределенный интеграл 3arctg2x 1+4x2dx

181 символов

Высшая математика

Решение задач

Определить круг сходимости степенного ряда

892 символов

Высшая математика

Решение задач

Найти решение первой смешанной задачи методом Фурье для уравнения теплопроводности на отрезке

2392 символов

Высшая математика

Решение задач

Закажи решение задач

Наш проект является банком работ по всем школьным и студенческим предметам. Если вы не хотите тратить время на написание работ по ненужным предметам или ищете шаблон для своей работы — он есть у нас.