Условие задачи
Предположим Σ группа функций и ψ, 𝑌 функции.
Докажите:
Σ⊧(𝑌 → ψ) если и только если Σ ∪ {𝑌}⊧ψ
Ответ
Докажем, что если ⊧(𝑌 ), то {𝑌}⊧
По теореме дедукции ⊧(𝑌 ) равносильно , 𝑌 ⊧ , что
Означает, что при истинных значениях каждой функции группы значение и функции 𝑌 значение функции также истинное. Если и 𝑌 ис...
Потяни
