离散数学第一章命题逻辑知识点总结.pdfVIP

数理逻辑部分

第1章命题逻辑

命题符号化及联结词

命题:判断结果惟一的陈述句

命题的真值:判断的结果

真值的取值:真与假

真命题:真值为真的命题

假命题:真值为假的命题

注意:感叹句、祈使句、疑问句都不是命题，陈述句中的悖论以及判断

结果不惟一确定的也不是命题。

简单命题(原子命题)：简单陈述句构成的命题

复合命题：由简单命题与联结词按一定规则复合而成的命题

简单命题符号化

p,q,r,pqri

用小写英文字母…,,,(≥1）表示

iii

简单命题

用“1”表示真，用“0”表示假

例如，令p：是有理数，则p的真值为0

q：2+5=7，则q的真值为1

联结词与复合命题

1.否定式与否定联结词“”

ppp

定义设