在逻辑中，一个陈述可以是：
若陈述是指后者，陈述和语句是不同的，语句只是一种陈述的逻辑型式（英语：Logic form），也有可能存在许多可以表达同一陈述的不同语句。
& ∨ ¬ ~ → ⊃ ≡ | ∀ ∃ ⊤ ⊥ ⊢ ⊨ ∴ ∵
