1. Главная
  2. Библиотека
  3. Логика
  4. С помощью таблиц истинности докажите, что тавтология С...
Разбор задачи

С помощью таблиц истинности докажите, что тавтология С помощью таблиц истинности докажите, что формула равносильна формуле . С помощью равносильных преобразований приведите формулу к формуле (формулы и из задачи 2).

  • Предмет: Логика
  • Автор: Кэмп
  • #Основы формальной логики
  • #Символическая логика
С помощью таблиц истинности докажите, что тавтология С помощью таблиц истинности докажите, что формула равносильна формуле . С помощью равносильных преобразований приведите формулу к формуле (формулы и из задачи 2).

Условие:

С помощью таблиц истинности докажите, что D=((a→b)∧(a→bˉ))→aˉD=((a \rightarrow b) \wedge(a \rightarrow \bar{b})) \rightarrow \bar{a} тавтология С помощью таблиц истинности докажите, что формула A=xˉ→(yˉ→z)A=\bar{x} \rightarrow(\bar{y} \rightarrow z) равносильна формуле B=x∨y∨zB=x \vee y \vee z. С помощью равносильных преобразований приведите формулу AA к формуле BB (формулы AA и BB из задачи 2).

Решение:

Задача 1: Доказать, что D=((a→b)∧(a→bˉ))→aˉD=((a \rightarrow b) \wedge(a \rightarrow \bar{b})) \rightarrow \bar{a} тавтология

Шаг 1: Запишем формулу DD в терминах логических операций:

\nD=((a→b)∧(a→bˉ))→aˉ\nD = ((a \rightarrow b) \wedge (a \rightarrow \bar{b})) \rightarrow \bar{a}

Шаг 2: Вспомним, что импликация p→qp \rightarrow q эквивалентна pˉ∨q\bar{p} \vee q. Применим это к нашей формуле:

\na→b≡aˉ∨b\na \rightarrow b \equiv \bar{a} \vee b
\na→bˉ≡aˉ∨bˉ\na \rightarrow \bar{b} \equiv \bar{a} \vee \bar{b}

Шаг 3: Подставим эти эквивалентности в формулу DD:

Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит

Попробуй решить по шагам

Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение

Какое логическое правило позволяет преобразовать импликацию $p \rightarrow q$ в дизъюнкцию?

Что нужно знать по теме:

Что нужно знать по теме

Алгоритм решения

Топ 3 ошибок

Что спросит препод

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

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

Не нашел нужную задачу?Воспользуйся поиском

AI помощники

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

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