什麼是差等關係

差等關係，也稱為從屬關係，是邏輯方陣中的一種關係，主要指全稱命題和特稱命題之間的關係。

在邏輯學中，差等關係描述的是一種邏輯上的包含或從屬關係，其中一個命題的真假對於另一個命題的真假有特定的影響。例如，在命題邏輯中，如果一個全稱命題（如「所有的人都會死亡」）為真，那麼相應的特稱命題（如「有的人會死亡」）也必然為真。同樣地，如果一個特稱命題為假，那麼相應的全稱命題也必然為假。這種關係在形式邏輯中非常重要，用於理解和推理不同命題之間的邏輯聯繫。