离散数学学习笔记——命题逻辑

参考教材：《离散数学》屈婉玲。

1.命题：非真即假的陈述句。

2.命题的判断标准：

（1）必须为陈述句。

（2）具有唯一的真值。

注：a.悖论不是命题。如：我正在说谎。

        b.命题有真值，非1即0。

例题1：判断下列那些为命题？

（1）请保持安静！

（2）我是老师。

（3）我正在说谎。

解：（2）为命题，满足命题的判断标准；（1）是感叹句，排除；（3）是悖论。

例题2：将下列命题符号化。

（1）小静只能挑选202或者203房间。

思路：排斥或。因为小静选择202则不能选择203；反之，则相反。

解： p：小静挑选202房间。

        q：小静挑选203房间。

符号化为：(p∧￢q) ∨(￢p∧q)

（2）小静喜欢唱歌或者跳舞。

思路：相容或。小静喜欢唱歌、跳舞其中之一，也可以都喜欢。

解：p：小静喜欢唱歌。

q：小静喜欢跳舞。

符号化为：p∨q

——————————————————

原文链接→