命题种类及逻辑公式（命题逻辑五）

命题种类及逻辑公式（命题逻辑五）规则： 因此，这个推理的错误在于推理形式无效。例：（1）王老师或教语文，或教历史。他不教语文，所以，王老师教历史。 （2） 一个错误的推理，或者由于前提不真实，或者由于推理的形式无效； 这个错误的推理不是由于前提不真实；

选言命题（二）

相容选言推理的有效式

根据相容选言命题的上述性质，相容选言推理有下述有效式：

（Ⅰ）否定肯定式：如果肯定一个相容选言命题并且否定其中的一个选言支，则必须肯定其中的另一个选言支。

例：（1）王老师或教语文，或教历史。他不教语文，所以，王老师教历史。

（2） 一个错误的推理，或者由于前提不真实，或者由于推理的形式无效；

这个错误的推理不是由于前提不真实；

因此，这个推理的错误在于推理形式无效。

规则：

否定一部分选言支，就要肯定另一部分选言支；肯定一部分选言支，不能否定另一部分选言支。

（Ⅱ）肯定肯定式：如果肯定一个选言支，则必须肯定包含这个选言支的任一选言命题。

这一公式也称之为“析取附加律”，其含义是：如果p是真的，那么p∨q是真的，不管q代表的是什么命题。