2024年5月6日
Week 11 Problems
摘要： 仿照如下课本定理4.5.36的证明构造，完成题目 T1 画出课本定理4.5.16的证明构造过程 \[\vdash (\neg Q\rightarrow Q)\rightarrow(R\rightarrow Q) \]T2 画出Peirce定理的证明构造过程 \[\vdash ((A\rightarr 阅读全文
posted @ 2024-05-06 09:56 fallqs 阅读(97) 评论(0) 推荐(0)