离散数学学习笔记----命题逻辑的基本概念

参考书目《离散数学》屈婉玲

重要概念：

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

 

笔记：

悖论不是命题，如：我正在说假话。

 

例题1.4（2）：将下列命题符号化：张晓静只能挑选202或203房间。

解：p：张晓静挑选202房间。

       q：张晓静挑选203房间。

由题意知：这个或为排斥或，这个女人不可能同时挑选202或203房间。因此符号化为：.

ps：还有种叫 相容或。如：张晓静喜欢听歌或看电影。就可以直接 张晓静喜欢听歌 V 张晓静喜欢看电影。

 

，当p为0时，q为0获1，命题都为1.

 

为真仅表示p与q的取值关系，与p与q是否有什么内在联系无关。

 

例1.5（10）将命题符号化，并指出真值：  只有a能被4整除，a才能被2整除。

解：命题真值与a有关，如当a=8时为真，a=6时为假。

ps：命题逻辑中的联结词不能简单地与自然语言中的联结词等同起来。

 

设p，q均为命题，在p与q不能同时为真条件下，p与q的排斥或也可以写成p与q的相容或。