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

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

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

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

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

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

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

Больше решений задач по высшей математике:

Решить систему уравнений из п 4 по правилу Крамера

677 символов

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

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

3911 символов

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

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

723 символов

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

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