Week 13 Problems

T1

用演绎定理证明

\[\vdash (P\rightarrow(Q\rightarrow R))\rightarrow(Q\rightarrow(P\rightarrow R)) \]

然后将其转化为普通证明

T2(Optinal)

试证明课本4.5, 4.6节的各定理

posted @ 2024-05-23 09:57  fallqs  阅读(72)  评论(0)  编辑  收藏  举报