第一次课堂独立练习

2
第一次课堂独立练习
4. 用谓词逻辑将下列命题符号化： (1) 鸟都会飞翔。 (2) 并非所有的人都喜欢计算机。 (3) 有人爱看小说。 (4) 没有不爱看电影的人。
5. 设个体域为D={a,b,c}，消去下列公式中的量词： (1) (x)A(x)(y)B(y) (2) (x)(A(x)(y)B(y)) 6. 求下列各式的前束范式，要求使用约束变量和自由变量 的换名规则： (1) ((x)A(x)(y)B(x,y)) (2) (x)(A(x)(y)B(x,y,z))(z)C(x,y,z)
第一次课堂独立练习
2006.9.7/11
1
第一次课堂独立练习
1. 将下列命题符号化，并讨论其真值： (1) 如果今天是1号，则明天是2号； (2) 如果今天是1号，则明天是3号；
2. 分别用真值表法和等值演算法证明以下公式： (1) p(pqr)为重言式； (2) (qp)p为矛盾式； 3. 判断下面的推理是否正确，并证明你的结论：如果他 是理科学生，他必学好数学。如果他不是文科学生， 他必是理科学生。他没有学好数学，所以他是文科 学生。
5
3
符号集
↔ ↑↓ ↔ ↑↓ ∪∩×
运算优先级：

高



wenku.baidu.com
↔
低
4

… ～ ‖ ＄ ￥ ▦ ¤＆ ※ § 〓 ▦ ▨ ▣ ▢ ▧ ▪ ▩ ▥▤□■▽▼↑↓←→≈≠＝≡≤≥＜＞ ≮≯±∞∧∨∑∏∪∩↔～≰∽