Условие:
Докажи утверждение алгебры высказываний:
из A следовательно B выводимо (C следует A) следует (C следует B)
Решение:
Чтобы доказать утверждение алгебры высказываний: из A следует B выводимо (C следует A) следует (C следует B), мы воспользуемся логическими законами и правилами вывода.
- Запишем данное утверждение формально:
- Мы имеем: A ⇒ B (из A следует B).
- Нам нужно доказать: C ⇒ A ведет к C ⇒ B.
- Используем определение импликации:
- Импликация A ⇒ B эквивалентна ≠g A ∨ B (не A или B).
- Таким образом, A ⇒ B можно записать как ≠g A ∨ B.
- Рассмотрим C ⇒ A:
- Это также можно...