Предположим Σ группа функций и ψ, 𝑌 функции. Докажите: Σ⊧(𝑌 → ψ) если и только если Σ ∪ {𝑌}⊧ψ

Докажем, что если ⊧(𝑌 ), то {𝑌}⊧

По теореме дедукции ⊧(𝑌 ) равносильно , 𝑌 ⊧ , что

Означает, что при истинных значениях каждой функции группы значение и функции 𝑌 значение функции также истинное. Если и 𝑌 ис...