矛盾
中，對立四邊形內不同直言命題之間存在的矛盾關聯。]] 在傳統邏輯學中，如果一個命題與自身或既定事實相衝突，則稱之為矛盾（，又稱恆假）。這種情況經常用來發現人們的不誠實信念或偏見。亞里士多德提出的無矛盾律，進一步說明了應用邏輯的普遍原則，即一件事物不可能在同一時間對於相同的對象同時為是與非。 在當代的形式邏輯和類型論領域，「矛盾」一詞專指某個特定的命題，通常使用（）來表示。根據邏輯規則，如果一個命題能導出「假 (邏輯值)」，則該命題被視為…
标签：#直接推理
共 1 篇文章