命题逻辑的基本概念.pptVIP

01今天下雨了．03可知A^B就是命题“今天下雨了并且教室里有100张桌子”．02教室里有100张桌子。例40102日常自然用语里的联结词“和”、“与”、“并且”，一般是表示两种同类有关事物的并列关系．而在逻辑语言中仅考虑命题与命题之间的形式关系并不顾及日常自然用语中是否有此说法．这样，“^”同“与”、“并且”又不能等同视之．日常自然用语中说，“这台机器质量很好，但是很贵”，这句话的含义是说同一台机器质量很好而且很贵．若用P表示“这台机器质量很好”，用Q表示“这台机器很贵”，那么这句话的逻辑表示就是P^Q，尽管这句话里出现的联结词是“但是”．总之，合取词有“与”、“并且”的含义，逻辑联结词是自然用语中联结词的抽象，两者并不等同，这是需注意的．注意析取词∨析取词“∨”是个二元命题联结词。将两个命题P、Q联结起来,构成一个新的命题P∨Q,读作P、Q的析取,也读作P或Q。这个新命题的真值与构成它的命题P、Q的真值间的关系,析取词真值表当P、Q有一取值为T时,P∨Q便为T。仅当P、Q均取F值时,P∨Q方为F。这就是析取词的定义,P∨Q可用来表示自然用语P或Q。PQP?QFFFFTTTFTTTT例例5:P:今天刮风。Q:今天下雨。 命题“今天刮风或者下雨”便可由P∨Q来描述了。例6:A:2小于3。 B:雪是黑的。 A∨B就是命题“2小于3或者雪是黑的”。由于2小于3是真的,所以A∨B必取值为真,尽管“雪是黑的”这命题取假。 蕴涵词“?”也是个二元命题联结词。将两个命题P、Q联结起来,构成一个新的命题P?Q,读作如果P则Q,或读作P蕴涵Q,如果P那么Q,其中P称前件(前项、条件),Q称后件(后项、结论)。01规定只有当P为T而Q为F时,P?Q=F。而P=F、Q任意,或P=T、Q=T时P?Q均取值为T。02蕴涵词?真值表PQP?QFFTFTTTFFTTTP?Q=T下,若P=T必有Q=T,而不会出现Q=F,这表明P?Q体现了P是Q成立的充分条件。P?Q=T下,若P=F可有Q=T,这表明P?Q体现了P不必是Q成立的必要条件。引入?的目的是希望用来描述命题间的推理,表示因果关系。使用P?Q能描述推理。即P?Q为真时,只要P为真必有Q真,而不能出现P真而Q假就够了。至于P为假时,Q取真取假,并不违背P为真时Q必真。从而仍可规定P为假时,P?Q取真。当P=F时对P?Q真值的不同定义方式将给推理的讨论带来不同的表示形式,也是允许的。因果关系P?Q=?P∨Q在P、Q的所有取值下,P?Q同?P∨Q都有相同的真值:P?Q=?P∨Q(真值相同的等值命题以等号联结)。这也说明?可由?、∨来表示,从逻辑上看“如果P则Q”同“非P或Q”是等同的两个命题。PQ?P?QFFTFTTTFFTTT如果……那么……蕴涵词?与自然用语“如果…那么…”有一致的一面，可表示因果关系。然而P、Q是无关的命题时,逻辑上允许讨论P?Q。并且P=F则P?Q=T,这在自然用语中是不大使用的。例7:P:n3(n为整数)Q:n29 命题P?Q表示“如果n3那么n29”,分析P?Q的真值。 1.P=Q=T。这时如n=43,有n2=169,这符合事实P?Q=T,正是我们所期望的可以P?Q表示P、Q间的因果关系,这时规定P?T是自然的。 2.P=T,Q=F。如n3而n29这是不会成立的,也可用P?Q表示P、Q间的因果关系是不成立的,自然规定P?Q=F。 3.P=F而Q=F或T。如 n=23有n2=40 n=-43有n2=169由于前提条件n3不成立，而n29?成立与否并不重要，都不违反对自然用语“如果n3那么n29”成立的肯定。于是P=F时可规定P?Q=T。当然在肯定了1,2的情况下,对P=F时P?Q的值另作规定也是可以的,同样不违反自然语句“如果……那么……”可以用P?Q来描述。总之，对P?Q的这种说明是可接受的,但也不是说仅只有这样的解释才是合理的。2+2=501雪是黑的02P?Q就是命题“如果2+2=5,那么雪是黑的”。从蕴涵词的定义看，由