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

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

Пусть ϕ и ψ – формулы логики высказываний. Докажите, что ⊨ϕ→ψ тогда и только тогда, когда ϕ⊨ψ, и ⊨ϕ↔ψ тогда и только тогда, когда ϕ∼ψ.

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

Из условия ⊨ϕ→ψ следует ϕ→ψ=0. Тогда по таблице истинности получаем ϕ=1, ψ=0, что соответствует условию ϕ⊨ψ . Ч.т.д.
Из условия ⊨ϕ↔ψ следует ϕ↔ψ=0

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

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

816 символов

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

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

538 символов

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

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

403 символов

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

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