命题：能够判断其真值的陈述句
真值：取值有两个：真/假
真/假命题：真值为真/假的命题
原子命题：不能在被分解成更小的命题
复合命题：由原子命题通过连接词而构成的命题 下面是一些例子
连接词主要就是与或非这一些 其中的pqr就是原子命题（因为它们不能再被分解了）
判断句子是否为命题：
1.首先判断他是否为陈述句
2.判断是否有唯一真值
命题连接词： 否定，合取，析取，蕴含，等价链接词 共五种
否定，合取，析取不做过多探讨 主要讲解 蕴含和等价
蕴含：
只有在p取一，q取零时为零其余时候都为一
则可转换为： 否p析取q
等价:
可以转换为p析取q 合取 q合取p
例题展示:
解析4：小智是江苏人的时候就不是江西人了，是江西人的时候就不是江苏人了
所以答案设pq两个命题，析取式中用合取来链接。
和第四题形成对比 这就是排斥或和相容或的区别
题目中出现了只要，，，就 /只有，，，才/，，，仅当 等语句 所以用蕴含链接词 即q为零p为1时整个为假。
此处pq顺序注意理解。
命题公式极其赋值
命题变元：真值可以变化的命题
合式公式：将命题变元用连接词或圆括号按一定逻辑关系连接起来的符号串。
可以将命题变元理解成变量，合式公式理解成将变量进行加减乘除。
成真赋值，成假赋值：使合式公式的值为 真/假 的命题变元的取值。
重言式，永假式和可满足式：
2697
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
