Доказать тождественную истинность или ложность формулы: 1) ;

Добавлена: 27.04.2026
Обновлена: 27.04.2026
Предмет: Логика
Автор: Кэмп

#Основы формальной логики
#Символическая логика

Условие:

Доказать тождественную истинность или ложность формулы:

$\overline{\overline{x \vee y} \rightarrow \overline{x \wedge y}} ; 2)(x \rightarrow y) \rightarrow(\bar{y} \rightarrow \bar{x}) ; 3) \overline{p_{1} \rightarrow\left(p_{2} \rightarrow p_{1}\right)}$ ;

Решение:

Рассмотрим первую формулу: $\overline{\overline{x \vee y} \rightarrow \overline{x \wedge y}}$ .

Сначала упростим выражение внутри отрицания:

$x \vee y$ - это логическое "или".
$x \wedge y$ - это логическое "и".

Теперь применим закон импликации: $A \rightarrow B$ эквивалентно $\overline{A} \vee B$ . Таким образом, $\overline{x \vee y} \rightarrow \overline{x \wedge y}$ можно переписать как $\overline{\overline{x \vee y}} \vee \overline{x \wedge y}$ .

Теперь упростим:

$\overline{\overline{x \vee y}} = x \vee y$ .
$\overline{x \wedge y} = \overline{x} \vee \overline{y}$ ...

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

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

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

Какое из следующих утверждений верно относительно преобразования импликации $A \rightarrow B$ в логическое выражение, использующее только дизъюнкцию и отрицание?

(A \rightarrow B) эквивалентно (\overline{A} \wedge B)

(A \rightarrow B) эквивалентно (\overline{A} \vee B)

(A \rightarrow B) эквивалентно (A \vee \overline{B})