05.15小测讲评
逻辑符号的使用应准确
1、 区分使用 蕴涵 → 与 ├ 推出
→ 用于 命题，├ 用于推理
推出 也可以用 ⇒
充分条件假言命题写作 p → q 不要写 p ⇒ q
2、不相容选言的联结项符号
手写使用 V 加 点的符号
打字可以用 ⊙
3、等值用 ↔
不用 ⇔
用好真值表
可以写出整个真值表；
也可以用文字说明 几真几假，并说明 假的 或真的是哪一（哪些）行
假言命题的有效式都是“前后一致”的
肯定 跟着 肯定
否定 跟着 否定
选言命题
1、不用说前后件
选言即使只有两个支命题，也不用“前、后（件）”来说。
选言的选言支可以随意更换位置；数量也可以不止两个。
“前、后（件）”是 假言命题专用的。
联言命题也不用。
2、对有效式内容的归纳要涵盖3个及以上支命题的情况
否定肯定式，是：
否定n-1个，必然肯定剩下的唯一一个。
注意是 剩下的唯一的一个，不是剩下的一部分。有且只有一个。
否定的是n-1个，而不是一部分。
相容 或 不相容 都一样。
相容选言命题 可以有1个及以上的支命题为真，但是 否定肯定式 作必然推理，只能用来推理 有且只有一个支命题为真的情况。
“否定n-1，必然肯定第n个”，表述略有不严密之处，因为 否定不一定是按顺序的。
肯定否定式，只在 不相容选言 中有效，是：
否定1个，必然否定剩下的全部（即n-1个）
注意看题
根据题目的说明来答题
记忆 + 理解
在理解的基础上记忆
在记忆中巩固理解