离散数学电子教材1

《离散数学电子教材1》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、实用标准文案第1章命题逻辑逻辑是研究人的思维的科学，包括辩证逻辑和形式逻辑。辩证逻辑是研究反映客观世界辩证发展过程的人类思维的形态的。形式逻辑是研究思维的形式结构和规律的科学，它撇开具体的、个别的思维内容，从形式结构方面研究概念、判断和推理及其正确联系的规律。数理逻辑是用数学方法研究推理的形式结构和推理的规律的数学学科。所谓的数学方法也就是用一套有严格定义的符号，即建立一套形式语言来研究。因此数理逻辑也称为符号逻辑。数理逻辑的基础部分是命题逻辑和谓词逻辑。本章主要讲述命题逻辑，谓词逻辑将在第2章进行讨论。1.1命题及其表示1.1.1命题的基本概念数理逻辑研究

2、的中心问题是推理（Inference)，而推理就必然包含前提和结论，前提和结论都是表达判断的陈述句，因而表达判断的陈述句就成为推理的基本要素。在数理逻辑中，将能够判断真假的陈述句称为命题。因此命题就成为推理的基本单位。在命题逻辑中，对命题的组成部分不再进一步细分。定义1.1.1能够判断真假的陈述句称为命题（Proposition）。命题的判断结果称为命题的真值，常用T(True)（或1）表示真，F(False)（或0）表示假。真值为真的命题称为真命题，真值为假的命题称为假命题。从上述的定义可知，判定一个句子是否为命题要分为两步：一是判定是否为陈述句，二是能否

3、判定真假，二者缺一不可。例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）、（

4、10）都是命题，其中（10）虽然现在无法判断真假，但随着科技的进步是可以判定真假的。需要进一步指出的是，命题的真假只要求它有就可以，而不要求立即给出。如例1.1.1的（8）1+101=110，它的真假意义通常和上下文有关，当作为二进制的加法时，它是真命题，否则为假命题。还有的命题的真假不能马上给出，如例1.1.1的（10），但它确实有真假意义。1.1.2命题分类根据命题的结构形式，命题分为原子命题和复合命题。精彩文档实用标准文案定义1.1.2不能被分解为更简单的陈述语句的命题称为原子命题(SimpleProposition)。由两个或两个以上原子命题组合而成

5、的命题称为复合命题(CompoundProposition)。例如，例1.1.1中的命题全部为原子命题，而命题“小王和小李都去公园。”是复合命题，是由“小王去公园。”与“小李去公园。”两个原子命题组成的。1.1.3命题标识符定义1.1.3表示原子命题的符号称为命题标识符(Identifier)。通常用大写字母A，B，C，…，P，Q，…等表示命题，如P：今天下雨。命题标识符依据表示命题的情况，分为命题常元和命题变元。一个表示确定命题的标识符称为命题常元（或命题常项）(Propositionalconstant)；没有指定具体内容的命题标识符称为命题变元（或命题

6、变项）(PropositionalVariable)。命题变元的真值情况不确定，因而命题变元不是命题。只有给命题变元P一具体的命题取代时，P有了确定的真值，P才成为命题。习题1.11．判断下列语句是否为命题，若是，指出其真值。（1）外面下雨吗？（2）7能被2整除。（3）2x+3<4。（4）请关上门。（5）小红在教室里。2．指出下列命题是原子命题还是复合命题。（1）小李一边看书，一边听音乐。（2）北京不是中国的首都。（3）大雁北回，春天来了。（4）不是东风压倒西风，就是西风压倒东风。（5）张三与李四在吵架。1.2逻辑联结词本节主要介绍5种常用的逻辑联结词(Lo

7、gicalConnectives)，分别是“非”（否定联结词）、“与”（合取联结词）、“或”（析取联结词）、“若…则…”（条件联结词）、“…当且仅当…”（双条件联结词），通过这些联结词可以把多个原子命题复合成一个复合命题。下面分别给出各自的符号形式及真值情况。1.2.1否定联结词定义1.2.1设P为一命题，P的否定(Negation)是一个新的命题，记为（读作非P）。规定若P为T，则为F；若P为F，则为T。的取值情况依赖于P的取值情况，真值情况见表1-1。表1-1P1001在自然语言中，常用“非”、“不”、“没有”、“无”、“并非”等来表示否定。精彩文档实用

8、标准文案例1.2.1P：上海是中国的城市。：上海不是