3．命题逻辑3
1 命题的有关概念1．命题2．原子命题（简单命题）3．复合命题4．逻辑常量5．逻辑变量3
2 逻辑联结词1．否定联结词2．合取联结词3．析取联结词4．蕴涵联结词5．等价联结词6．异或联结词7．与非联结词8．或非联结词9．条件否定联结词3
3 命题公式及其真值表1．命题公式的定义2．命题的符号化3．命题公式的真值表4．命题公式的类型3
4 逻辑等值的命题公式1．逻辑等值的定义2．基本等值式3．等值演算法4．对偶原理3
5 命题公式的范式1．命题公式的析取范及合取范式2．命题公式的主析取范及主合取范式3
6 联结词集合的功能完备性（自学）3
7 命题逻辑中的推理1．推理形式有效性的定义2．基本推理规则3．命题逻辑的自然推理系统命 题 的 有 关 概念和逻辑联结词命题逻辑推理命题公式等值命题公式范式析取范式合取范式工具真值表主析取范式主合取范式长 春 工 业 大 学 离 散 数 学 课 程 讲 稿1 教 学 内 容教学设计【提出问题1】有一逻辑学家误入某部落，被拘于牢狱，酋长意欲放行，他对逻辑学家说：“今有两门，一为自由，一为死亡，你可任意开启一门
为协助你逃脱，今加派两名战士负责解答你所提的问题
惟可虑者，此两战士中一名天性诚实，一名说谎成性，今后生死由你自己选择
”逻辑学家沉思片刻，即向一战士发问，然后开门从容离去
该逻辑学家应如何发问
逻辑学家手指一门问身旁的一名战士说：“这扇门是死亡门，他（指另一名战士）将回答‘是’，对吗
”当被问战士回答“对”，则逻辑学家开启所指的门从容离去
当被问的战士回答“否”，则逻辑学家开启另一扇门从容离去
事实上，如果被问者是诚实战士，他回答“对”
则另一名战士是说谎战士，他回答“是”，那么，这扇门不是死亡门
如果被问战士是诚实战士，他回答“否”
则另一名战士是说谎战士，他回答“不是”，那么，这扇门是死亡门
如果被问者是说谎战士
