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