1. Главная
  2. Библиотека
  3. Логика
  4. Докажите, что следующая формула является тавтологией алгебры высказываний

Докажите, что следующая формула является тавтологией алгебры высказываний

«Докажите, что следующая формула является тавтологией алгебры высказываний»
  • Логика

Условие:

Докажите, что следующая формула является тавтологией алгебры высказываний

Решение:

Рассуждая "от противного", предположим, что левая часть выражения истина, правая часть выражения - ложь.

1) По определению конъюнкции должны быть истинны, то есть

2) Из началь...

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

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

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