可能是……可能是是相容选言吗？

相容选言命题的语言形式及真假性质

1.语言形式：

“或者p ，或者q ”。

其中，p 、q 称为变项，“或者”称为“真值联结词”。

在自然语言中，表达形式还有“可能……，可能”，“或许……，或许……”，“…或…”，“也许…，也许…”， “不是…，就是…”，等等。

2.推理基础：

如果一个相容选言命题是真的，则它所有的变项中，至少有一个真（这是必然的），至多可以全部为真（这是可能的）。

也就是说，只有在所有变项都为假的情况下，这个相容选言命题才是假的。 只要有一个变项为真，则这个相容选言命题真。

3.相容选言命题推理形式

因为相容选言命题的性质是所有的变项中至少有一个是真的，所以，如果我们能确定一个正确的相容选言命题中的其他几个变项是假的，那么就能确定剩下的变项是真的。

例如：

命题“P或者q”为真，且已知p为假，则必然推出：q为真。

这就是相容选言命题推理的有效式：否定肯定式。

用符号化表示：

（(p∨q) ∧～p）→q

概括成公式两个：

(1)p或q=如果非p，则q

(2)并非（p或者q）=非p且非q