第一次课堂独立练习.ppt

第一次课堂独立练习 2006.9.7/11 第一次课堂独立练习 将下列命题符号化，并讨论其真值： (1) 如果今天是1号，则明天是2号； (2) 如果今天是1号，则明天是3号； 2. 分别用真值表法和等值演算法证明以下公式： (1) p?(p?q?r)为重言式； (2) ?(q?p)?p为矛盾式； 3. 判断下面的推理是否正确，并证明你的结论：如果他是理科学生，他必学好数学。如果他不是文科学生，他必是理科学生。他没有学好数学，所以他是文科学生。 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) 第一次课堂独立练习 符号集 ? ? ? ? ? ↑↓ ????? ? ↑↓ 运算优先级： 高 低 ? ? ? ? ? ∪ ∩ × ? ? ? ? ? ?