结构推理 试证明命题逻辑永真公式公理系统不是独立的．
【正确答案】实际上令公理中P，Q均取R时，有(R→(R→R))→(R→(R→R))，令(R→(R→R))为P，则有p→P形式．
【答案解析】