Логотип Автор24реферат
Задать вопрос
%
уникальность
не проверялась
Решение задач на тему:

Высказывание (т е формулу логики высказываний) называют позитивным

уникальность
не проверялась
Аа
2003 символов
Категория
Высшая математика
Решение задач
Высказывание (т е формулу логики высказываний) называют позитивным .pdf

Зарегистрируйся в 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. Докажите, что высказывание является монотонным тогда и только тогда, когда оно либо общезначимо, либо невыполнимо, либо эквивалентно некоторому позитивному высказыванию.

Решение

Потяни, чтобы посмотреть
По индукции если positive(M,ϕ)⊆positive(N,ϕ) и M⊨ϕ, то N⊨ϕ.
Если ϕ есть ψ∧θ, то M⊨ϕ тогда и только тогда, когда M⊨ψ и M⊨θ. Следовательно, если M⊨ϕ и N⊨ϕ справедливо при ϕ=ψ и ϕ=θ, то оно справедливо и при ϕ=ψ∧θ, и при ϕ=ψ∨θ. Следовательно, утверждение справедливо для любого позитивного высказывания ϕ.
Предположим теперь, что всякое позитивное высказывание истинное в M, истинно и в N . В частности, для всякого S∈V из M⊨S следует N⊨S. Поэтому если S∈M, то S∈N, так что M∈N. Ч.т.д.
b) Пусть ϕ – монотонное высказывание. Будем предполагать, что ϕ выполнимо. Если Γ – множество всех следствий высказывания ϕ, то непротиворечивая теория Γ является монотонной тогда и только тогда, когда она обладает множеством позитивных аксиом Δ
50% задачи недоступно для прочтения
Переходи в Кампус, регистрируйся и получай полное решение
Получить задачу
Больше решений задач по высшей математике:

Вычислить несобственный интеграл или указать его расходимость

360 символов
Высшая математика
Решение задач

Найти градиент скалярного поля u(x y z) в точке А

317 символов
Высшая математика
Решение задач
Все Решенные задачи по высшей математике
Найди решение своей задачи среди 1 000 000 ответов
Крупнейшая русскоязычная библиотека студенческих решенных задач