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