本节直言命题、模态命题及推理共包含二小节内容：1.直言命题推理；2.模态命题及推理。下面我们就来逐一学习每小节的内容。

　　直言命题也称性质命题，是直接断定对象具有或不具有某种性质的命题。如：

　　（1）所有计算机都是需要CPU的。

　　（2）有些计算机不是台式。

　　例（1）直接断定“所有计算机”都具有“需要CPU”的性质。例（2）直接断定“有些计算机”不具有“台式”的性质。分别直接断定了对象“具有”或“不具有”某种性质。

　　（一）直言命题的四种形式

　　1、全称肯定命题：是表达全称肯定判断的语句。

　　符号：SAP。语义：所有S都是P。简称 ……余下的内容请点击第一章：逻辑判断之第四节：直言命题、模态命题及推理查看！