EO是什么意思逻辑学中ai

四种直言形式

AEIO，分别代表全称肯定命题、全称否定、特称肯定、特称否定，肯定来源于affirmo中的前两个元音AI，否定自然来自于nego中的EO，这两个都是拉丁单词。个人觉得就按照纯洁的AEIOU的顺序记就好了。

全称肯定命题，SAP，所有S都是P，AllSareP，例如：所有人都是动物。Allmenareanimals.

全称否定命题，SEP，所有S都不是P，NoSareP，例如；所有人都不是动物。Nomenareanimals.

特称肯定命题，SIP，有些S是P，SomeSareP，例如，有些人是动物。Somemenareanimals.

特称否定命题，SOP，有些S不是P，SomeSarenotP，例如，有些人不是动物。Somemenarenotanimals.

一个直言命题由四部分组成：量词quantifier，主项subject，系词copula，谓项predicate。

其中，量词只能是All，No或者Some。主项和谓项必定是名词。而系词只能是are或者arenot，当且仅当命题为O命题时系词是arenot，全称否定命题的否定位置在量词那里，当然，是英语中。

对于命题Goldisvaluable,其并非一严格的直言命题，当然，这是一个命题，因为这个命题没有量词，联项不是复数are，而且谓项不是名词，所以应该变为：Allpiecesofgoldaresomethingvaluable.转化成标准形式将在以后讨论。

这里强调一点，AllSarenotP可能被直译为所有S都不是P，但是这个实际上等价于NotallSareP，即对命题SAP的否定，等值于SOP。

S和P

S是Subject，主项；P是Predicate，谓词，谓项，实际上在语法中是做表语(Predicative)，都差不多。

关于“有些”(=some)

1、可以是单数，但是一般认为应该是复数，这个很纠结。本意是至少一个，但是比如说有些物理学家的名字是AlbertEinstein。这里就必须是单数，因为只有一个。

2、不断定没有的那些，比如：有些中国人是地球人，并不断定有些中国人不是地球人，显然，我们应该所全部中国人都是地球人，但是有些中国人是地球人从以下角度理解是正确的：至少有一个中国人是地球人。