在谓词演算中，有时将原子公式简称为原子。

• The atomic formula is called atom for short in predicate calculus.