“不是都”的理解
“不是都” 和 “并非 都是” 不一样
“不是都”是不相容选言 （排除了 都不是，也排除了 都是）
“并非 都是”，是对联言的否定，可以 联言的负命题 转 相容选言
注意 一个是 不相容，一个是相容
真值表的真假行数不一样，肯定不会等值
相容选言 为真的行 多一行，即选言支可以都为真
不相容选言的联结项符号
∨. 只是打字时的临时处理
手写要写对
序号
用括号数字（1）、（2）、（3）……
超过20，圆圈数字不好打
手写也调整为一致
命题符号
是“设”，不是“假设”
“假设”是假设尚不存在的
“设”是给个“代号”
引用的前提按序号排列
例如 （7）（1） 尽量改成 （1）（7）
推理式名称 统一一下
基于各复合命题的推理 以后 尽量统一用 “XX推理XX式”
联言推理
联言推理组合式、联言推理分解式
选言推理
（相容/不相容）选言推理否定肯定式
不相容选言推理肯定否定式
假言推理
充分条件假言推理肯定前件式、充分条件假言推理否定后件式
必要条件假言推理否定前件式、必要条件假言推理肯定后件式
充分必要条件假言推理 肯定/否定 前件/后件 式
“尽量”的意思是非满分不扣分。但最好能更严密一些。
中间步骤出错
（考试时）推理的中间步骤出错
以之为基础的后续推理就不能再得分
或者只能酌情给分了