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

Докажем,что если ⊧𝑌 и ⊧, то ⊧𝑌 .

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

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

От...