As opposed to the predicate calculus, the propositional calculus employs simple, unanalyzed propositions rather than predicates as its atomic units.

• 命题演算是谓词演算的反面，运用尚未分机的简单命题而不是谓词来当成基本（原子）单元。