2024年3月20日
Week 4 Problems
摘要： T1 利用真值指派讨论证明形如\(Q\rightarrow(R\rightarrow Q)\)的命题逻辑合式公式是永真式 T2 证明公式集合\(\Gamma\)不可满足当且仅当\(\Gamma \models 0\) T3 设\(\Gamma_1, \Gamma_2\)是公式集合，\(B\)是公式。 阅读全文
posted @ 2024-03-20 12:05 fallqs 阅读(94) 评论(0) 推荐(0) 编辑