2024年5月16日
Week 12 Problems
摘要： 仿照 Week 11 Problems 中的例题，完成题目 T1 画出课本定理4.6.3的证明构造过程 \[\vdash \forall xP(x) \rightarrow \exists xP(x) \]T2 画出课本定理4.6.12的证明构造过程 \[\forall x(P(x)\rightar 阅读全文
posted @ 2024-05-16 08:04 fallqs 阅读(62) 评论(0) 推荐(0) 编辑