谓词公式

由 原子公式 通过有限次通过 联结词、量词 合法构造