逻辑问题:不相容的替代命题:如何将a或b中的一个变成箭头？

在逻辑结构中，用逻辑连接词“要么”连接分支命题，形成不相容的备选命题。它的分支命题称为选择分支，通常用P和q来表示，这样，不相容的择一命题的逻辑形式可以写成:P或q .它的符号化为:p∨q(∨ q ("∨"要加在∨上，下同)，读作"非P即q "。

箭头“→”和“←”是假设命题的符号，如p→q，读作“若P，则Q”(P暗示Q)；P←q，读作only P，only q(p反向暗示Q)。不相容的备选命题不是A就是B，只能是带符号的A∨B，不能用箭头表示。

注:应加“∨”表示“强析取”，也称不相容析取或严格析取。所以不能输入符号，只好用析取符号∨加描述来代替，特此注明。请参考下图:

不是p就是q