Докажите что справедливы следующие логические следование

Пусть λ(¬Q→P→P)=1. Тогда λ(¬Q→P)=1 и λP=0 невозможно, т.е. невозможно, чтобы λP=0 и λQ=1. Если λP=0 и λQ=0, то λ¬Q→P=0, а значит
λ¬Q→P→P↔Q=1. Если λP=1 и λQ=0, то λ¬Q→P=0, а значит λ¬Q→P→P↔Q=1 . Если λP=1 и λ1=1, то λ¬Q→P=0, а значит λ¬Q→P→P↔Q=1.
Таким образом, ¬Q→P→P ⊨ ¬Q→P→P↔Q.
Пусть λ¬Q→P→P↔Q=1, тогда невозможно, что бы λ¬Q→P=1,
а λQ↔P=0, т