Доказать,что 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
Не можешь разобраться в этой теме?
Обратись за помощью к экспертам
Гарантированные бесплатные доработки в течение 1 года
Быстрое выполнение от 2 часов
Проверка работы на плагиат
Поможем написать учебную работу
∴ P→Q→(R∧Q→P)Q→(R∧Q→P)Q→(R∧Q→P) является TRUE.
Ваше доказательство в целом верно. Разберем каждый шаг:
¬P∨Q→(R∧Q→P)Q→(R∧Q→P)Q→(R∧Q→P) - по правилу 19¬P∨¬Q∨(R∧Q→P)¬Q∨(R∧Q→P)¬Q∨(R∧Q→P) - замена Q→R∧Q→PR∧Q→PR∧Q→P на ¬Q∨R∧Q→PR∧Q→PR∧Q→P¬P∨¬Q∨(¬R∨¬Q∨P)¬Q∨(¬R∨¬Q∨P)¬Q∨(¬R∨¬Q∨P) - раскрытие импликации¬P∨¬Q∨¬R∨¬Q∨P¬Q∨¬R∨¬Q∨P¬Q∨¬R∨¬Q∨P - раскрытие импликации¬P∨¬Q∨P∨¬R¬Q∨P∨¬R¬Q∨P∨¬R - перестановка элементов¬P∨P∨¬Q∨¬RP∨¬Q∨¬RP∨¬Q∨¬R - закон идемпотентности ¬Q∨¬Q = ¬QT∨¬Q∨¬R - закон идемпотентности P∨¬P = TT∨¬R - упрощение T∨¬Q = TT - упрощение T∨¬R = TИтак, вы правильно доказали, что P→Q→(R∧Q→P)Q→(R∧Q→P)Q→(R∧Q→P) является TRUE.