1. Главная
  2. Библиотека
  3. Высшая математика
  4. Предположим что ψ, 𝑋, 𝑌 формулы. Докажите: {ψ, 𝑌}⊧𝑋 если и только если (ψ ∧ 𝑌) → 𝑋 тавтология

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

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

Условие:

Предположим что ψ, 𝑋, 𝑌 формулы.

Докажите:

{ψ, 𝑌}⊧𝑋 если и только если (ψ ∧ 𝑌) → 𝑋 тавтология

Решение:

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

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

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

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

Похожие задачи

Не нашел нужную задачу?

Воспользуйся поиском

AI помощники

Выбери предмет

E
S
А
Б
В
Г
Д
Е
Ж
З
И
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Э
Я