有一點值得強調，以支持你的關註;在邏輯上，當我們在前提和結論之間建立關系時，我們說參數是有效：邏輯結果 。

我們說句子 A 是Γ的Γ句子，我們寫道：Γ⊨A ，正好是當Γ中的所有句子都不成立且 A 為假時。

在 by Contradiction 中，我們假設否定 A ：¬A，並導致矛盾;這表明Γ和¬A中的所有句子都不可能同時為真。

但這意味著在所有Γ的所有“情況”都是真的（我們說：Γ的所有滿足） ，¬A是假的;根據真實屬性，如果¬A為假，則 A 為真;因此，我們建立了邏輯結果的關系。

有一種特殊情況：當所有Γ已經相互矛盾時（即不可滿足）。

在這種情況下，不可能找到“情況”，其中所有Γ同時為真（即滿足）。

你可以在你的例子中考慮（1） - （3）的“在上面”的附加前提：（E∧¬E）。

在這種情況下會發生什麽？

那麽，應用邏輯結果的上述定義，我們得到：

如果沒有“情況”滿足Γ的每個成員，那麽對於任何句子 A ，它是Γ⊨A，“http://en.wikipedia.org/wiki/Vacuous_truth”rel =“nofollow”>空洞真實。

因此，在存在矛盾前提的情況下，如（1） - （3）與附加（E∧¬E），它們仍然是隱含的（C v D），僅僅因為它們是矛盾的，會影響一切。