命題論理の「原始的叙述」を項や変数、述語、量化子に分解することを考えると一階論理、または一階述語論理と呼び、命題論理の規則をすべて保ちながらさらに新しい規則を加えたものを得る。
在命题逻辑中的原子句子被分解成项（英语：Singularterm）、变量、谓词和量词的时候，它们就生成了一阶逻辑，或者叫做一阶谓词逻辑，它保留命题逻辑的所有规则并增加了一些新规则。