原子論理式
atomic fomula
述語論理における最小単位
述語記号と項の列からなる
/mrsekut-book-4007305803/058
https://wiis.info/math/logic/predicate-logic/atomic-formula/