Найди решение своей задачи среди 1 000 000 ответов
Крупнейшая русскоязычная библиотека студенческих решенных задач
Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥
Высказывание (т.е. формулу логики высказываний) называют позитивным, если оно построено только из пропозициональных переменных и связок ∧ и ∨ (например, высказывание p→q не является позитивным). Если M — интерпретация, обозначим за M-1(x) прообраз x, т.е. множество всех таких переменных p, что M(p)=x. Высказывание ϕ называют монотонным, если из того, что M⊨φ и M-1(1)⊆N-1(1) следует, что N⊨φ. Докажите, что для любых интерпретаций M и N верно, что M-1(1)⊆N-1(1) тогда и только тогда, когда всякое позитивное высказывание, истинное в M, истинно и в N. Докажите, что высказывание является монотонным тогда и только тогда, когда оно либо общезначимо, либо невыполнимо, либо эквивалентно некоторому позитивному высказыванию.
Нужна помощь по теме или написание схожей работы? Свяжись напрямую с автором и обсуди заказ.
В файле вы найдете полный фрагмент работы доступный на сайте, а также промокод referat200 на новый заказ в Автор24.