直言命題

直言命題是陳述一個類與另一個類之間的包含關係的命題。在經典邏輯看來，直言命題是演繹推理的基本構件。^[1]

直言命題可以根據其「質」和「量」分為四種標準直言命題：

A、E、I、O的命名是基於拉丁語affirmo（我肯定），以及nego（我否認）。大量句子都可以翻譯成這些標準形式之一，同時保留其全部或大部分的原始含義。

四種標準直言命題之間有四種對立關係（opposition）：矛盾關係、反對關係、下反對關係、差等關係。它們可以用對立四邊形圖示。通過對當關係可以作出直接推理。

由三個直言命題（兩個作為前提，一個作為結論）組成的論證被稱為直言三段論，屬於間接推理。

類、質、量與周延[編輯]

類

類（class）是共有某種特定屬性的對象的匯集。

質

如果一個命題肯定了類與類之間的包含關係，那麼該命題的質是肯定的（affirmative），反之是否定的（negative）。

量

如果一個命題述及主項所指稱的類的所有成員，那麼該命題的量是全稱的（universal）；如果只述及某些成員，那麼就是特稱的（particular）

周延

如果一個命題述及一個詞項所指稱的類的所有成員，那麼該詞項在命題中周延（distribute）。在A、E、I、O命題中，詞項的周延各不相同。A命題主項周延，E命題主項、謂項都周延，I命題主項、謂項都不周延，O命題謂項周延。