特稱命題

特稱命題，英文名Particular Proposition / Existential Statement，一般與全稱命題相對。

特稱命題；Particular Proposition / Existential Statement
在傳統三段論邏輯中，“某些S是P”或“一些S不是P”的命題形式叫做特稱命題。第一種命題形式即特稱肯定命題，用符號“I”（SIP）表示，第二種命題形式是特殊否定命題，用符號“O”（SOP）表示。在謂詞演算中，特稱肯定命題被分析為：“至少存在一個x，以致這個x是S並且x是P”。特稱命題一般被認為含有指稱表達式，因此具有存在意義。特稱命題相對比於全稱命題，後者的命題形式是“所有S是P”和“所有S不是P”，它們一起構成傳統邏輯的四種基本類型的命題。