什麼是特稱命題

特稱命題，也稱為存在性命題，是邏輯學中的一種命題形式。

特稱命題的特點是在所有被討論的對象中存在至少一個對象具有某種特定屬性。這種命題的形式可以是「有些/至少有一個S是P」或「一些S不是P」。特稱命題與全稱命題相對，全稱命題斷言一個類別的所有成員都具有某種屬性，而特稱命題僅斷定至少有一個成員具有該屬性，不涉及類別中其他成員的情況。