离散数学电子教材1.docVIP

第1章 　　命题逻辑 逻辑是研究人的思维的科学,包括辩证逻辑和形式逻辑。辩证逻辑是研究反映客观世界辩证发展过程的人类思维的形态的。形式逻辑是研究思维的形式结构和规律的科学,它撇开具体的、个别的思维内容,从形式结构方面研究概念、判断和推理及其正确联系的规律、数理逻辑是用数学方法研究推理的形式结构和推理的规律的数学学科。所谓的数学方法也就是用一套有严格定义的符号,即建立一套形式语言来研究。因此数理逻辑也称为符号逻辑。 数理逻辑的基础部分是命题逻辑和谓词逻辑、本章主要讲述命题逻辑,谓词逻辑将在第２章进行讨论。 １。1命题及其表示 １、 数理逻辑研究的中心问题是推理(Inｆeｒｅnce),而推理就必定包含前提和结论,前提和结论都是表达判断的陈述句,因而表达判断的陈述句就成为推理的基本要素。在数理逻辑中,将能够判断真假的陈述句称为命题。因此命题就成为推理的基本单位、在命题逻辑中,对命题的组成部分不再进一步细分。 定义1、１、1 能够判断真假的陈述句称为命题(Propｏsitioｎ)、命题的判断结果称为命题的真值,常用 T(Tｒue)(或1)表示真,F(F 从上述的定义可知,判定一个句子是否为命题要分为两步:一是判定是否为陈述句,二是能否判定真假,二者缺一不可、 例１。1、１ 判断下列句子是否为命题 北京是中国的首都。 请勿吸烟! 雪是黑的。 明天开会不？ ｘ＋ｙ=5、 我正在说谎。 9＋5≤12、 1+101=110。 今天天气多好啊！ 别的星球上有生物。 解 　在上述的十个句子中,(2)、(9)为祈使句,(4)为疑问句,(５)、(6)尽管是陈述句,但(5)没有确定的真值,其真假随x、y取值的不同而有改变,(6)是悖论(Paradox)(即由真能推出假,由假也能推出真),因而(2)、(4)、(５)、(6)、(9)均不是命题。(1)、(3)、(7)、(8)、(10)都是命题,其中(10)尽管现在无法判断真假,但随着科技的进步是能够判定真假的。 需要进一步指出的是,命题的真假只要求它有就能够,而不要求马上给出、如例1、1、1　的(8)1+1０1=11０,它的真假意义通常和上下文有关,当作为二进制的加法时,它是真命题,否则为假命题。还有的命题的真假不能马上给出,如例1、1、1 的(10),但它确实有真假意义。 1、1 依照命题的结构形式,命题分为原子命题和复合命题。 定义1。1、2 不能被分解为更简单的陈述语句的命题称为原子命题(Simple　Proｐositiｏn )。由两个或两个以上原子命题组合而成的命题称为复合命题(Comｐｏｕnd Ｐropositｉｏn 例如,例1、1、1中的命题全部为原子命题,而命题“小王和小李都去公园。是复合命题,是由“小王去公园。”与“小李去公园。两个原子命题组成的。 1。 定义1。1、３ 　表示原子命题的符号称为命题标识符(Ｉdｅnｔifieｒ 通常用大写字母A,Ｂ,C,…,Ｐ,Q,… 等表示命题,如P:今天下雨。 命题标识符依据表示命题的情况,分为命题常元和命题变元。一个表示确定命题的标识符称为命题常元(或命题常项)(Pｒoposｉtｉｏnal cｏnｓtant);没有指定具体内容的命题标识符称为命题变元(或命题变项)(Propｏsｉtionaｌ Ｖariａble)、命题变元的真值情况不确定,因而命题变元不是命题。只有给命题变元P一具体的命题取代时,P有了确定的真值,P才成为命题。 习题１、1 判断下列语句是否为命题,若是,指出其真值、 外面下雨不？ 7能被２ 整除。 2x＋3＜4。 请关上门。 小红在教室里、 指出下列命题是原子命题依然复合命题。 小李一边看书,一边听音乐、 北京不是中国的首都、 大雁北回,春天来了。 不是东风压倒西风,就是西风压倒东风。 张三与李四在吵架、 　 １、２ 逻辑联结词 本节主要介绍５种常用的逻辑联结词(Logical Connｅctives ),分别是“非”(否定联结词)、“与(合取联结词)、“或”(析取联结词)、“若…则…(条件联结词)、“…当且仅当…”(双条件联结词),通过这些联结词能够把多个原子命题复合成一个复合命题、 下面分别给出各自的符号形式及真值情况。 1、2。1 定义1。2、1　 设P为一命题,Ｐ的否定(Ｎｅｇatｉoｎ)是一个新的命题,记为(读作非P)。规定若Ｐ为T,则为F;若P 的取值情况依赖于P的取值情况,真值情况见表1-1、 表１—1 Ｐ 1 0 ０ 1 在自然语言中 ,常用“非”、“不”、“没有、“无”、“并非”等来表示否定。 例1、2、1　 Ｐ:上海是中国的城市。:上海不是中国的城市。 P是真命题,是假命题。 Q:所有的海洋动物都是哺乳动物。:不是所有的海洋动物都是哺乳动物。Q为假命题,为真命题。 1、2。2合取联结词 定义1。2。2 设P