这样，直言陈述的四种形式用谓词逻辑表达如下： A， 所有S是P：Sa | 古典音乐与哲学

这样，直言陈述的四种形式用谓词逻辑表达如下：

A， 所有S是P：SaP
（全称肯定陈述）
∀x(S(x)→P(x))

E，没有S是P：SeP
（全称否定陈述）
∀x(S(x)→~P(x))

I， 有些S是P：SiP
（特称肯定陈述）∃x(S(x)•(S(x)→P(x)))

O，有些S不是P：SoP
（特称否定陈述）
∃x(S(x)•(S(x)→~P(x)))

注：S(x)<=>x∈S
（x是S当且仅当x是S的内容时）