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

new

在谓词演算中，有时将原子公式简称为原子。的英文翻译