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

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