一、命题及其表示方法
1、命题的定义
具有具体意义的又能判断真假的陈述句,称为命题。
2、命题的3要素
- 命题必须是能判断真和假陈述句。(疑问句、祈使句和
感叹句等均不是命题。) - 命题的真或假这两种结果有且仅有一种出现。
- 虽然要求命题能判断真假,但不要求现在就能确定真
假,将来可以确定真假也可以。
3、命题的真值
陈述句为真或为假的这种性质,称为命题的真值。
①真值为真的命题称为真命题,真值为假的命题称为假命题。任何
命题的真值是唯一的,即一个命题只有一个“值”。
②在命题逻辑中对命题不再细分,因而命题是数理逻辑中最基本的
也是最小的研究单位
举例:
4、命题标识符
表示命题的符号称为命题标识符,常用大写字母、带
下标的大写字母或数字表示,如P,A1,[12]。
5、命题常元、命题变元
命题常元:表示具体确定内容的命题,即命题常元有确定的真值。
命题变元:没有意义的、没有赋予具体内容的抽象命题,即命题
变元的真值待定。只有当用某具体命题带入命题变元后,它才有确
定的真值。
6、原子命题、复合命题
原子命题:命题是一个简单的陈述句时称为简单命题。
复合命题:由若干个原子命题经过联结词复合而成的陈述句。(可
以分解成多个原子命题)
二、联结词
在命题演算中也有类似日常生活中的联结词,称为命 题联结词
。下面介绍五种常用的命题联结词及相应的
真值表。
1、否定词 “¬”
◆ 符号“¬”,读作“非”或“否定”。
◆ 设命题为P,则在P的前面加否定词¬,变成¬P,构成的复合
命题为P的否命题,读做“P的否定”或“非P”。¬P为真当
且仅当P为假。
2、合取“∧”
◆ 符号“∧”,读作“合取”,“与”或“并且”。
◆ 设P,Q为两个命题,则P∧Q称P与Q的合取,读作:“P与 Q”、“P与Q的合取”、“P并且Q”等。P∧Q为真当且仅
当P与Q均取值为T。
3、析取“∨”
◆ 符号“∨”,读作“析取”,“或”。
◆ 设P,Q为两个命题,则P∨Q称P与Q的析取,读作:“P或 Q”、“P与Q的析取”等。P∨Q为假当且仅当P与Q取值均
为F。
4、条件 “→”
◆ 设P,Q为两个命题,则P→Q是一个复合命题,其中P称为
条件的前件(条件/前提/假设),Q称为条件的后件(结论),读
作:“如果P,那么Q”、“若P则Q”等。P→Q为假当且仅
当P为真Q为假,否则P→Q为真。
5、双条件 “ ”
◆ 设P,Q为两个命题,其复合命题P<—>Q称作双条件命题,读 作“P当且仅当Q”。当P与Q的取值相同时,P<—>Q的真值为
T,否则P<—>Q的真值为F。
5、小技巧
1)命题的真假是客观上的
2)
①不、不是、非、否、没有等用否定连接词
②和、且、一边一边、不仅而且、虽然但是、即又等用合取
③或者用析取(不可兼或/表示概数不能用析取)
④如果那么、若则、只有才、只要才、仅当、除非用条件
(如果就按顺序写,除非改为如果就,只有/仅当后为必要条件,后件为前件的必要条件,前件为后件的充分条件 )
⑤当且仅当用双条件