陈述可以是:
若陈述是指後者,陈述和句子是不同的,句子只是一種陈述的邏輯型式(英语:Logic form),也有可能存在許多可以表達同一陈述的不同語句。
& ∨ ¬ ~ → ⊃ ≡ | ∀ ∃ ⊤ ⊥ ⊢ ⊨ ∴ ∵