原子公式

谓词 的变量是 项 的时候，这种谓词是原子谓词公式