不相容选言命题怎么推导？

Question

如题所述

Answer 1

在逻辑结构上，不相容选言命题由逻辑联结词“要么，要么”连接支命题而成。其支命题称为选言支，通常用p、q表示。这样，不相容选言命题的逻辑形式可以写成：要么p，要么q。用符号表示为：p∨q（∨号上要加上“·”，以下同此），读作“要么p，要么q”。

箭头“→”“←”是假言命题的符号，如p→q，读作“如果p，那么q”（p蕴涵q）；p←q，读作只有p，才q（p逆蕴涵q）。不相容选言命题要么A要么B， 用符号表示只能为A∨B，无法转成箭头表示。

注：∨号上要加上“·”，表示“强析取”，又称不相容析取或严格析取。因此符号无法输入，只好用析取符号∨加说明替代，特此注明。参考下图：

要么p，要么q