**谓词公式

---1.连结词：
   
---2.谓词公式：
---3.公式：
---4.其他公式