選言推理意思

選言推理（Disjunctive Syllogism）是一種邏輯推理，它的形式是從兩個不相容的選言命題中，根據其中一個選言項為假，推導出另一個選言項為真。這種推理的形式可以表示為：

不是A就是B 不是A 所以，B

這裡，「不是A就是B」是一個不相容的選言命題，意味著A和B是排斥的，不能同時為真。「不是A」意味著A為假，根據選言推理的規則，如果一個選言項為假，那麼另一個選言項必須為真。因此，可以推出「B」為真。

選言推理在邏輯學和日常推理中都很常見，它幫助我們從已知的信息中得出結論。例如，在一個犯罪現場，調查人員發現了兩種可能的痕跡物證，他們推理說：

要麼是嫌疑人A留下的，要麼是嫌疑人B留下的 不是嫌疑人A留下的 所以，是嫌疑人B留下的

這個推理就是一個選言推理的例子。