湘潭大学-计算机的数学基础（数理逻辑）2024考试原题
参考教材与习题答案：国防科技大学《数理逻辑》1991年出版 pdf链接：
XTU-Graduate-CS-Course/计算机的数学基础-姜新文 at main · oymaster/XTU-Graduate-CS-Course
考试形式：开卷
2024原题：
一、计算题
- 下面哪个不是定理，为什么？
(1) (p∨q)⊃p
(2) ∀xA(x)⊃∀yA(y)
(3) ∃xA(x)⊃∀xA(x)
-
将公式 (¬p∨¬q)∧r 化成与之等价且仅含联结词 (→,¬) 的形式。
-
（教材P37）
二、证明题（教材P119)
证明，F系统中，⊨A当且仅当 ⊨∀xA
三、证明题（教材P118)
证明ii)
四、证明题（教材P89)
证明：