2024年4月25日
Week 9 Problems
摘要： T1 用等值演算、构造指派等方式判断公式的永真性 (1) \[(\forall xP(x)\rightarrow \exist xQ(x))\rightarrow\exist x (P(x)\rightarrow Q(x) ) \] (2) \[(\forall x P(x)\rightarrow 阅读全文
posted @ 2024-04-25 10:50 fallqs 阅读(61) 评论(0) 推荐(0) 编辑