Доказать,что P→(Q→(R∧Q→P)) является TRUE. Этот пример немного отличается от тех ,что я решал. Он достаточно длинный и я не знаю с чего начать. Напишу легкий пример ,который мне понятен : Доказать,что P→P∨Q является TRUE 1.¬P∨(P∨Q) правило 19 2.(¬P∨P)∨Q правило 10 3.T∨Q правило 8 4.T правило 8 Следовательно,P→P∨Q является TRUEUPD:я тут постарался решить,но я не знаю правильно ли я всё сделал: P→(Q→(R∧Q→P)) дано.1.¬P∨(Q→(R∧Q→P)) правило 192.¬P∨¬Q∨(R∧Q→P) правило 193.¬P∨¬Q∨¬(R∧Q)∨P правило 194.¬P∨¬Q∨¬R∨¬Q∨P де морган5.¬P∨P∨¬Q∨¬R∨¬Q правило 106.T∨¬Q∨¬R∨¬Q правило 87.T∨¬R∨¬Q8.T∨¬Q9.T
Доказать,что P→(Q→(R∧Q→P)) является TRUE. Этот пример немного отличается от тех ,что я решал. Он достаточно длинный и я не знаю с чего начать. Напишу легкий пример ,который мне понятен : Доказать,что P→P∨Q является TRUE 1.¬P∨(P∨Q) правило 19 2.(¬P∨P)∨Q правило 10 3.T∨Q правило 8 4.T правило 8 Следовательно,P→P∨Q является TRUEUPD:я тут постарался решить,но я не знаю правильно ли я всё сделал: P→(Q→(R∧Q→P)) дано.1.¬P∨(Q→(R∧Q→P)) правило 192.¬P∨¬Q∨(R∧Q→P) правило 193.¬P∨¬Q∨¬(R∧Q)∨P правило 194.¬P∨¬Q∨¬R∨¬Q∨P де морган5.¬P∨P∨¬Q∨¬R∨¬Q правило 106.T∨¬Q∨¬R∨¬Q правило 87.T∨¬R∨¬Q8.T∨¬Q9.T
Не можешь разобраться в этой теме?
Обратись за помощью к экспертам
Гарантированные бесплатные доработки
Быстрое выполнение от 2 часов
Проверка работы на плагиат
Интересные статьи из справочника
Поможем написать учебную работу
Отвечай на вопросы, зарабатывай баллы и трать их на призы.
Подробнее
Подробнее
∴ P→(Q→(R∧Q→P)) является TRUE.
Ваше доказательство в целом верно. Разберем каждый шаг:
¬P∨(Q→(R∧Q→P)) - по правилу 19¬P∨(¬Q∨(R∧Q→P)) - замена Q→(R∧Q→P) на ¬Q∨(R∧Q→P)¬P∨(¬Q∨(¬R∨¬Q∨P)) - раскрытие импликации¬P∨(¬Q∨¬R∨¬Q∨P) - раскрытие импликации¬P∨(¬Q∨P∨¬R) - перестановка элементов¬P∨(P∨¬Q∨¬R) - закон идемпотентности ¬Q∨¬Q = ¬QT∨¬Q∨¬R - закон идемпотентности P∨¬P = TT∨¬R - упрощение T∨¬Q = TT - упрощение T∨¬R = TИтак, вы правильно доказали, что P→(Q→(R∧Q→P)) является TRUE.