Доказать,что 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