Week 11 Problems

仿照如下课本定理4.5.36的证明构造，完成题目

image

T1

画出课本定理4.5.16的证明构造过程

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

T2

画出Peirce定理的证明构造过程

\[\vdash ((A\rightarrow B)\rightarrow A )\rightarrow A \]

posted @ 2024-05-06 09:56  fallqs  阅读(78)  评论(0)  编辑  收藏  举报