大学逻辑中直言命题通常指的是以下六种基本类型:
全称肯定命题 (Universal Affirmative Proposition)
形式:所有S(主项)都是P(谓项)。
缩写:A。
例句:所有苹果都是红色的。
全称否定命题 (Universal Negative Proposition)
形式:所有S(主项)都不是P(谓项)。
缩写:E。
例句:所有小学生都不是团员。
特称肯定命题 (Particular Affirmative Proposition)
形式:有的S(主项)是P(谓项)。
缩写:I。
例句:有的艺术家是残疾人。
特称否定命题 (Particular Negative Proposition)
形式:有的S(主项)不是P(谓项)。
缩写:O。
例句:有的苹果不是红色的。
单称肯定命题 (Singular Affirmative Proposition)
形式:某个特定的S(主项)是P(谓项)。
例句:张三是科学家。
单称否定命题 (Singular Negative Proposition)
形式:某个特定的S(主项)不是P(谓项)。
例句:张三不是科学家。
这些命题是逻辑学中描述事物性质的基本方式,通过它们可以构建更复杂的逻辑推理和论证。