南京航空航天大学离散数学课件-第2章.pptVIP

数理逻辑 数理逻辑：用数学的方法研究逻辑问题。 逻辑演算：命题逻辑演算、谓词逻辑演算。 公理集合论证明论模型论递归论 命题 命题：可以区分真假的陈述句。①今天是星期一。②南京是江苏的省会。③今天天气真好啊！④禁止抽烟！⑤你有笔吗？ 联结词与真值表 原子命题：不能再分解的命题。 ①今天是星期一。 ②南京是江苏的省会。 ③他在跑步或打球。 联结词与真值表 否定(非）：┓ 含义：不如果p表示“今天是星期一”， 则┓p表示“今天不是星期一”。p┓p0110 联结词与真值表 合取词：∧ 含义：并且 如果p表示“今天是星期一”，q表示“今天是晴天”，则p∧q表示“今天是星期一并且今天是晴天”。 pqp∧q000010100111 联结词与真值表 析取词：∨ 含义：或者 如果p表示“小王在跑步”，q表示“小李在打球”，则p∨q表示“小王在跑步或者小李在打球”。 pqp∨q000011101111 联结词与真值表 蕴含词：? 含义：如果...那么... 如果p表示“我有空”，q表示“我去图书馆”，则p?q表示“如果我有空,那么我就去图书馆”。 pqp?q001011100111 联结词与真值表 等值(价)词?： 含义：当且仅当，同真假，同或 如果p表示“今天天气好”，q表示“小李上街去”，则p?q表示“当且仅当今天天气好，小李上街去”。 pqp?q001010100111 命题