湘潭大学-计算机的数学基础（数理逻辑）2024考试原题

参考教材与习题答案：国防科技大学《数理逻辑》1991年出版 pdf链接：

XTU-Graduate-CS-Course/计算机的数学基础-姜新文 at main · oymaster/XTU-Graduate-CS-Course

考试形式：开卷

2024原题：

一、计算题

1. 下面哪个不是定理，为什么？

   (1) (p∨q)⊃p

   (2) ∀xA(x)⊃∀yA(y)

   (3) ∃xA(x)⊃∀xA(x)

2. 将公式 (¬p∨¬q)∧r 化成与之等价且仅含联结词 (→,¬) 的形式。

3. （教材P37）
   

二、证明题（教材P119)

证明，F系统中，

三、证明题（教材P118)

证明ii)

四、证明题（教材P89)

证明：