fallqs

摘要： T1 用演绎定理证明 \[\vdash (P\rightarrow(Q\rightarrow R))\rightarrow(Q\rightarrow(P\rightarrow R)) \]然后将其转化为普通证明 T2(Optinal) 试证明课本4.5, 4.6节的各定理 阅读全文