Question

Доказать,что 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 является TRUE

UPD:
я тут постарался решить,но я не знаю правильно ли я всё сделал:
P→(Q→(R∧Q→P)) дано.
1.¬P∨(Q→(R∧Q→P)) правило 19
2.¬P∨¬Q∨(R∧Q→P) правило 19
3.¬P∨¬Q∨¬(R∧Q)∨P правило 19
4.¬P∨¬Q∨¬R∨¬Q∨P де морган
5.¬P∨P∨¬Q∨¬R∨¬Q правило 10
6.T∨¬Q∨¬R∨¬Q правило 8
7.T∨¬R∨¬Q
8.T∨¬Q
9.T

Answer 1

Ответ:

не проверяя, а по-другому, с внутренних скобок:

!P\/(!Q\/!Q\/!R\/Р)= !P\/(!Q\/!R\/Р) =!P\/Р\/!Q\/!R=

= (!P\/Р)\/!Q\/!R= 1\/!Q\/!R= 1 (т.е. Т), чтд