第1章 命题逻辑
逻辑是研究人的思维的科学，包括辩证逻辑和形式逻辑。辩证逻辑是研究反映客观世界辩证发展过程的人类思维的形态的。形式逻辑是研究思维的形式结构和规律的科学，它撇开具体的、个别的思维内容，从形式结构方面研究概念、判断和推理及其正确联系的规律。数理逻辑是用数学方法研究推理的形式结构和推理的规律的数学学科。所谓的数学方法也就是用一套有严格定义的符号，即建立一套形式语言来研究。因此数理逻辑也称为符号逻辑。
数理逻辑的基础部分是命题逻辑和谓词逻辑。本章主要讲述命题逻辑，谓词逻辑将在第2章进行讨论。
1.1命题及其表示
1.1.1命题的基本概念
数理逻辑研究的中心问题是推理（Inference)，而推理就必然包含前提和结论，前提和结论都是表达判断的陈述句，因而表达判断的陈述句就成为推理的基本要素。在数理逻辑中，将能够判断真假的陈述句称为命题。因此命题就成为推理的基本单位。在命题逻辑中，对命题的组成部分不再进一步细分。
定义1.1.1 能够判断真假的陈述句称为命题（Proposition）。命题的判断结果称为命题的真值，常用 T(True)（或1）表示真，F(False)（或0）表示假。真值为真的命题称为真命题，真值为假的命题称为假命题。
从上述的定义可知，判定一个句子是否为命题要分为两步：一是判定是否为陈述句，二是能否判定真假，二者缺一不可。
例1.1.1 判断下列句子是否为命题 （1） 北京是中国的首都。 （2） 请勿吸烟！ （3） 雪是黑的。 （4） 明天开会吗？ （5） x+y=5。
（6） 我正在说谎。 （7） 9+5≤12。 （8） 1+101=110。
（9） 今天天气多好啊！ （10） 别的星球上有生物。 解 在上述的十个句子中，（2）、（9）为祈使句，（4）为疑问句，（5）、（6）虽然是陈述句，但（5）没有确定的真值，其真假随x、y取值的不同而有改变，（6）是悖论(Paradox)（即由真能推出假，由假也能推出真），因而（2）、（4）、（5）、（6）、（9）均不是命题。（1）、（3）、（7）、（8）、（10）都是命题，其中（10）虽然现在无法判断真假，但随着科技的进步是可以判定真假的。
需要进一步指出的是，命题的真假只要求它有就可以，而不要求立即给出。如例1.1.1 的（8）1+101=110，它的真假意义通常和上下文有关，当作为二进制的加法时，它是真命题，否则为假命题。还有的命题的真假不能马上给出，如例1.1.1 的（10），但它确实有真假意义。
1.1.2 命题分类
根据命题的结构形式，命题分为原子命题和复合命题。
1 / 48
定义1.1.2 不能被分解为更简单的陈述语句的命题称为原子命题(Simple Proposition )。由两个或两个以上原子命题组合而成的命题称为复合命题(Compound Proposition )。
例如，例1.1.1中的命题全部为原子命题，而命题“小王和小李都去公园。”是复合命题，是由“小王去公园。”与“小李去公园。”两个原子命题组成的。
1.1.3命题标识符
定义1.1.3 表示原子命题的符号称为命题标识符(Identifier)。
通常用大写字母A，B，C，…，P，Q，… 等表示命题，如P：今天下雨。 命题标识符依据表示命题的情况，分为命题常元和命题变元。一个表示确定命题的标识符称为命题常元（或命题常项）(Propositional constant)；没有指定具体内容的命题标识符称为命题变元（或命题变项）(Propositional Variable)。命题变元的真值情况不确定，因而命题变元不是命题。只有给命题变元P一具体的命题取代时，P有了确定的真值，P才成为命题。
习题1.1
1． 判断下列语句是否为命题，若是，指出其真值。 （1） 外面下雨吗？ （2） 7能被2 整除。 （3） 2x+3<4。 （4） 请关上门。 （5） 小红在教室里。
2． 指出下列命题是原子命题还是复合命题。 （1） 小李一边看书，一边听音乐。 （2） 北京不是中国的首都。 （3） 大雁北回，春天来了。
（4） 不是东风压倒西风，就是西风压倒东风。 （5） 张三与李四在吵架。
1.2 逻辑联结词
本节主要介绍5种常用的逻辑联结词(Logical Connectives )，分别是“非”（否定联结词）、“与”（合取联结词）、“或”（析取联结词）、“若…则…”（条件联结词）、“…当且仅当…”（双条件联结词），通过这些联结词可以把多个原子命题复合成一个复合命题。
下面分别给出各自的符号形式及真值情况。
1.2.1 否定联结词
定义1.2.1 设P为一命题，P的否定(Negation)是一个新的命题，记为?P（读作非P）。规定若P为T，则?P为F；若P为F，则?P为T。
?P的取值情况依赖于P的取值情况，真值情况见表1-1。
表1-1
P 1 0 ?P 0 1 在自然语言中 ，常用“非”、“不”、“没有”、“无”、“并非”等来表示否定。
2 / 48
例1.2.1 P：上海是中国的城市。?P：上海不是中国的城市。 P是真命题，?P是假命题。
Q：所有的海洋动物都是哺乳动物。?Q：不是所有的海洋动物都是哺乳动物。Q为假命题，?Q为真命题。
1.2.2合取联结词
定义1.2.2 设P、Q为两个命题，P和Q的合取(Conjunction)是一个复合命题，记为P?Q（读作P与Q），称为P与Q的合取式。规定P与Q同时为T时，P?Q为T，其余情况下，P?Q均为F。
联结词“?”的定义见表1-2。
表1-2 联结词“?”的定义
P 0 0 1 1 Q 0 1 0 1 P?Q 0 0 0 1 显然P??P的真值永远是假，称为矛盾式。 在自然语言中，常用“既…又…”、“不但…而且…”、“虽然…但是…”、“一边…一边…”等表示合取。
例1.2.2 （1）今天下雨又刮风。
设P：今天下雨。Q：今天刮风。则（1）可表示为P?Q （2）猫吃鱼且太阳从西方升起。
设P：猫吃鱼。Q：太阳从西方升起。则（2）可表示为P?Q （3）张三虽然聪明但不用功。
P：张三聪明。Q：张三用功。则（3）可表示为P??Q
需要注意的是，在自然语言中，命题（2）是没有实际意义的，因为P与Q两个命题是互不相干的，但在数理逻辑中是允许的，数理逻辑中只关注复合命题的真值情况，并不关心原子命题之间是否存在着内在联系。 1.2.3 析取联结词
定义1.2.3 设P、Q为两个命题，P和Q的析取(Disjunction)是一个复合命题，记为P?Q（读作P或Q），称为P与Q的析取式。规定当且仅当P与Q同时为F时，P?Q为F，否则P?Q均为T。
析取联结词“?”的定义见表1-3。
表1-3 联结词“?”的定义
P 0 0 1 1 Q 0 1 0 1 P?Q 0 1 1 1 显然P??P的真值永远为真，称为永真式。
析取联结词“?”与汉语中的“或”二者表达的意义不完全相同，汉语中的“或”可
3 / 48
离散数学电子教材1
