四種直言形式
全稱肯定命題，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、不斷定沒有的那些，比如：有些華人是地球人，並不斷定有些華人不是地球人，顯然，我們應該所全部華人都是地球人，但是有些華人是地球人從以下角度理解是正確的：至少有一個華人是地球人。
四種直言形式
全稱肯定命題，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、不斷定沒有的那些，比如：有些華人是地球人，並不斷定有些華人不是地球人，顯然，我們應該所全部華人都是地球人，但是有些華人是地球人從以下角度理解是正確的：至少有一個華人是地球人。