Пусть Φ Ψ Χ Θ – формулы исчисления высказываний. Бесплатный доступ к контрольной работе

Реферат.Справочник
Контрольные работы по высшей математике
Пусть Φ Ψ Χ Θ – формулы исчисления высказываний

Пусть Φ Ψ Χ Θ – формулы исчисления высказываний .pdf

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

Условие

Пусть Φ, Ψ, Χ, Θ – формулы исчисления высказываний. Построить вывод формулы исчисления высказываний из данного множества гипотез. Φ∧Ψ∧Θ⊢Ψ∧(Φ∨¬Θ)

Решение

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

Выведем формулу:
Φ∧Ψ∧Θ (гипотеза)
Ψ∧Φ∧Θ (коммуникативность конъюнкции)
Ψ∧Φ∧Θ→Φ (свойства конъюнкции)
Ψ∧Φ (MP для 2 и 3)
Ψ∧(Φ∨¬Θ) (свойство конъюнкции)

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

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

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