1. Докажите, что формула является тавтологией (тождественно истинной). Математическая...

+398 голосов
5.4m просмотров

1. Докажите, что формула является тавтологией (тождественно истинной). Математическая логика


Математика (16 баллов) | 5.4m просмотров
Дан 1 ответ
+166 голосов
Правильный ответ

\displaystyle\\(P\to(Q\land R))\Leftrightarrow((P\to Q)\land(P\to R))\\\\(\lnot P\lor(Q\land R))\Leftrightarrow ((\lnot P\lor Q)\land(\lnot P\lor R))\\\\(\lnot P\lor(Q\land R))\Leftrightarrow(\lnot P \lor (Q\land R))

Логично, что если левая часть равна правой то формула будет истинной всегда, а значит является тавтологией.

(5.7k баллов)