TO YANKEE
直言命题是必然性推理部分的知识，必然性推理知识是可能性推理的基础。

直言命题含主项、谓项、联项和量项。
主项（S）即主语，谓项（P）是宾语。如“dyk是好人”这个句子中，“dyk”是主项，“好人”是谓项，“是”是联项。当然，这是一个假命题。
其中的量项稍显复杂，有全称量词（所有）、特称量词（部分）和单称量词（单个和专有名词）。
特称量词【有的】：即“有”。有的人走了：一个人/部分人/全部，故有的人走了并不能得出有的人没走。

根据联项和量项不同，直言命题分为6类。
具有相同S和P的直言命题有4种对当关系：矛盾、从属、反对、下反对。
负直言命题是在直言命题上加“并非”的命题，与直言命题是矛盾关系。
具有矛盾关系的命题必是一真一假。

三段论推理：前提（两个直言命题）+结论（一个直言命题）
三个主项，各需出现2次。
一特得特，一否得否。

直言模态命题是在直言命题里加上“必然”“可能”等模态词的命题。
存在的矛盾关系“必然P”“可能非P”