直言命题亦称“定言命题”，是表达一类事物具有或不具有某种性质的命题。[1]在命题中，直言命题属于非模态命题[a]中的简单命题。对简单命题视其是反映对象性质还是反映对象之间的关系，分为直言命题（性质命题）和关系命题。[2]
命题简介
传统逻辑
所谓直言 命题，简单来说，就是“S是（或不是）P”形式的命题。在传统逻辑中，直言命题分为单称肯定、单称否定、全称肯定、全称否定、特称肯定、特称否定。而单称肯定、单称否定在一般情况下又被当做全称肯定和全称否定来处理，所以传统逻辑主要研究全称肯定（A)、全称否定(E)、特称肯定(I)、特称否定(O)。[3]
对当关系