Предположим что ψ, 𝑋, 𝑌 формулы. Докажите: {ψ, 𝑌}⊧𝑋 если и только если (ψ ∧ 𝑌) → 𝑋 тавтология

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

{, 𝑌}⊧𝑋 означает, что при истинных значениях , 𝑌 значение Х также истинное.

Тогда получим ( 𝑌) 𝑋 = (1 1) 1 =1 1 =1

Если хотя бы одн...