词条 | 特称命题 |
释义 | 特称命题;Particular proposition 在传统三段论逻辑中,“某些S是P”或“一些S不是P”的命题形式叫做特称命题。第一种命题形式即特称肯定命题,用符号“I”(SIP)表示,第二种命题形式是特殊否定命题,用符号“O”(SOP)表示。在谓词演算中,特称肯定命题被分析为:“至少存在一个x,以致这个x是S并且x是P”。特称命题一般被认为含有指称表达式,因此具有存在意义。特称命题相对比于全称命题,后者的命题形式是“所有S是P”和“所有S不是P”,它们一起构成传统逻辑的四种基本类型的命题。 |
随便看 |
|
百科全书收录4421916条中文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。