l02 命题逻辑2^.pdf

2015/3/20 第1章 命题逻辑 第1部分 数理逻辑 这章是以“命题”为中心，主要讨论： 第1章 命题逻辑 1、命题的表示、命题的演算 第2章 一阶逻辑 2、命题演算中的公式，及其应用 3、命题逻辑推理 1.1 命题与联结词（定义） 1.1 命题与联结词（联结词理解） 简单命题 (原子命题) ：由最简单的陈述句 “联结词”的理解： 构成的命题。复合命题：是用 “联结词” 将 (1) 否定¬ 的合理翻译（注意要全否定）； 原子命题联结起来构成的。常用联结词： (2) 相容的或∨ 和不相容的或⊽ 的区别； (1) 否定：¬ (2) 合取：∧ 并且 (3) 蕴涵： 如果… 那么… (3) 析取：∨ 相容的或 P: n 3 (n为整数) Q: n2 9 (4) 异或：⊽ 不相容的或 P→Q 如果n 3 那么n2 9, 分析 … (5) 蕴涵： 如果… 那么… (6) 等价： 1.1 命题与联结词（符号化） 1.1 命题与联结词 （符号化） 命题符号化定义：用命题公式的符号串来表 例：说离散无用且枯燥无味是不对的。 示给定的命题。 命题符号化的方法： P：离散是有用的。 1.首先要明确给定命题的含义。 2.对于复合命题，找联结词，用联结词断句， Q：离散是枯燥无味的。 分解出各个原子命题。 3.设原子命题符号，并用逻辑联结词联结原 该命题可写成：¬ (¬ P∧Q ) 子命题符号，构成给定命题的符号表达式。 1 2015/3/20 1.1 命题与联结词 （符号化） 1.1 命题与联结词（符号化例题） 例如果小张与小王都不去，则小李去。 1、太阳明亮且湿度不高 2、如果我吃饭前完成家庭作业，而且天不下雨， P：小张去。 Q：小王去。 R：小李去。 那么我就去看球赛 该命题可写成：(¬ P∧¬ Q)R 3、如果你明天看不到我，那么我就去北京 例如果小张与小王不都去，则小李去。 4 、小王不但聪明而且用功 该命题可写成：¬(P∧Q)  R 5、虽然天气很好，老王还是不来 也可以写成：(¬ P∨¬ Q)  R 6、如果你不去上学，那么我也不去上学 1.1 命题与联结词（符号化例题解） 1.1 命题与联结词（符号化例题解） 1、太阳明亮