只要判断（P∧(P→Q)）→Q是不是永真式就好了嘛. 　　(P∧(P→Q))→Q 　　⇔(p∧(┐P∨Q))→Q 　　⇔┐((P∧┐P)∨(P∧Q))∨Q 　　⇔┐(F∨(P∧Q))∨Q 　　⇔┐(P∧Q)∨Q 　　⇔┐P∨┐Q∨Q 　　⇔┐P∨T 　　⇔T 　　所以原式是永真式