离散数学第1章命题逻辑.pptVIP

第1章命题逻辑

1.1命题及联结词

1.2命题公式与翻译

1.3真值表和等价公式

1.4重言式

1.5范式

1.6全功能联结词集

1.7对偶式与蕴含式

1.8命题逻辑的推理理论;1.1命题及联结词

1.1.1命题的根本概念

命题的定义

在数理逻辑中把能判断真假的陈述句称为命题。

命题的表示

一般用小写英文字母或带下标的小写英文字母表示。

Remark：

⑴只有陈述句才有可能成为命题

⑵能判断真假的陈述句

⑶虽然要求命题能判断真假，但不要求现在就能确定真假，将来可以确定真假也可以。;命题的真值：

一个命题表达的判断结果称为命题的真值。任何命题的真值是惟一的。

真值为“真〞TrueT1(真)真命题

真值为“假〞FalseF0(假)假命题;【例1.1】判断以下语句是否为命题。假设是命题，确定其真值。

⑴上海是个小村庄。

⑵存在外星人。

⑶禁止吸烟！

⑷北京是中国的首都。

⑸4是素数或6是素数。

⑹今天你吃了吗？