第一讲 命题与联接词
一、判断命题的两个步骤：
特殊例子：（1) 2100年人类将在月球上生活。 （√）
（2) 如果天气炎热，小梅就去游泳。 （√）
(3) 请把门关好。 （×） 原因：祈使句
(4) 11+1=100。 （√）
(5) 我正在撒谎。 （×） （ 属于悖论）
原因：
如果命题为真 : 说明我在撒谎 , 含义是 这个命题是假 , 出现了矛盾 ;
如果命题为假 : 说明我没有撒谎 , 含义是 这个命题是真的 , 出现了矛盾 ;
（6）这里可以坐吗？ （×） 原因：反问句
二、联结词
1.常用联结词
否定联结词 ：┐
合取联结词：∧ "不仅...而且..." "虽然...但是..." "尽管...仍然..."
析取联结词：∨
条件联结词：→ "只要...就..." "只有...才..." "...仅当..." "除非...否则非..." 判断真假： 前真后假则为假，其余全为真。
双条件联结词：↔ "...当且仅当..." 判断真假：同真同假则为真，其余为假。
▶ 易错：1. 析取可分为排斥或和相容或
例子：
（1）小李在看书或听音乐。 设p命题：小李在看书。 q命题：小李在听音乐。 命题符号化： p∨q
（2）小李正在教室看书或正在图书馆上网 设p命题：小李在教室看书 。 q命题：小李在图书馆上网。 命题符号化： (p∧(┐q)）∨ ((┐p)∧q)
⭐ 2.联结词的优先级 : ( ) > ¬ > ∧ > ∨ > → > ↔
3.常见联结词最小功能完备集： 
第二讲 命题公式与翻译
一、特殊例子
符号化下面命题：
1.大家只有努力学习 , 才能取得好成绩。
解：设 p：大家要取得好成绩；
q：大家要努力学习。
则命题形式化为：p→q
注意：才后面的是前件。
2.除非你给我叫车子，否则我不去
解：设 p：你给我叫车子；
q：我就去。（双重否定变肯定）
则命题形式化为：q→p
注意：有除非的是后件。
3.小王现在在宿舍或在图书馆。（排斥或）不能同时发生的事件
解：设 p：小王在宿舍；
q：小王在图书馆。
则命题形式化为： (p∧(┐q)）∨ ((┐p)∧q)
二、命题公式类别
第三讲 等价公式、演算
1.逻辑等价：⇔
2.常用的命题等价公式：（记）红色的是常考
🔴 蕴涵等值式：A→B ⇔ ┐A∨B
3.例题：
第四讲、范式
1. 单式：命题变元和命题变元的否定。
2. 简单析取式：一个命题公式是若干个单式的析取。
3. 简单合取式：一个命题公式是若干单式的合取。
4. 析取范式：由有限个简单合取式组成的析取式。 例： (p ∧ ┐q)∨(┐p ∧ q ∧ ┐r )∨(q ∧ r )
5. 合取范式：由有限个简单析取式组成的合取式。 例： (p ∨ ┐q)∧ (┐p ∨ q ∨ ┐r )∧ (q ∨ r )
6. 范式：析取范式与合取范式的总称。
⭐ 7. 极小项：若一个简单合取式中包含n个命题变元,且每个变元与它的否定有且仅有一个出现。
注意：n个命题变元共有2n个极小项。
8. 主析取范式：一个等价公式仅由极小项的析取所组成。
第五讲、推理理论
1. 证明A永真蕴涵B的方法：
2. 推理规则：
3. 推理方法：
① 直接证明法。
② 间接证明法。两种（一、结论否定为附加前提 ；二、结论为条件命题，P→Q，P为附加命题）
第六讲、谓词逻辑
1. 谓词：可以独立存在的明确客体
2. 个体：刻划个体性质或关系的谓语
3. 个体常元：表示特定个体的词。
4. 个体变元：表示未知或泛指的个体的词。
注意：在存在量化中，特性谓词常作为合取项。
5. 量词的消去：
例子：例1.
例4：人是要呼吸的。
例5：有些大学生会吸烟。
6. 谓词演算的等价式（必背）：
7. 前束范式：所有量词都出现在公式的最前面, 且其辖域为整个公式。
Q：将下面例题转换成前束范式：
8. 谓词演算的蕴含式：
Q：例题：
9. 谓词逻辑推理规则：
注意：
例题：
5万+
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
