数学特称命题和全称命题的概念

数学特称命题和全称命题的概念

在传统三段论逻辑中，“某些S是P”或“一些S不是P”的命题形式叫做特称命题。第一种命题形式即特称肯定命题，用符号“I”（SIP）表示，第二种命题形式是特殊否定命题，用符号“O”（SOP）表示。在谓词演算中，特称肯定命题被分析为：“至少存在一个x，以致这个x是S并且x是P”。特称命题一般被认为含有指称表达式，因此具有存在意义。特称命题相对比于全称命题，后者的命题形式是“所有S是P”和“所有S不是P”，它们一起构成传统逻辑的四种基本类型的命题。