The atomic formula is called atom for short in predicate calculus.
英
美
在谓词演算中,有时将原子公式简称为原子。
目录
查词历史
英 汉