文档介绍:* * * * * * * * * * * 学号: 姓名: * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 学院: 专业年级: * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
课程考试试题纸
课程名称:
数理逻辑
( B 卷)
考试方式:
(闭卷)
印刷份数:
30
学院:
哲学系
任课教师:
宋伟
专业年级:
哲学2003级
题
号
一
二
三
四
五
六
七
八
总分
阅卷
教师
得
分
……………………………………………………………………………………………………
得
分
一. Complete the following blanks.(each 2 points, total 20 points)
1. For a statement form involving n different statement variables, the truth table will have
rows
2. if A and B are statement forms, A B if (A→B) is a tautology.
3. For any statement forms A and B, (~(A∧B)) is logically equivalent to .
4. The Soundness Theorem for the formal system L: .
5. Translate the statement ‘NO number is both odd and even.’ into symbols: .
6. Any formal system consists of a and a .
7. The formal system L is , . there is an effective method for deciding, given any wf. of L, whether it is a theorem of L.
8. If an occurrence of a variable in a wf. is not bound it is said to be .
9. A set is if it can be put in one-one correspondence with the set of natural numbers.
10. (x1) ((x2)A(x1,x2) →(x3)A(x1,x3)) yields a Skolemised form: .
得
分
二. Solve to following problems. (each 10 points, total 60 points)
1. Find the disjunctive normal form and the