谓词公式 单个谓词是谓词公式,称为原子谓词公式 若A是谓词公式,则 ¬ A \lnot A ¬A也是谓词公式 若A,B都是谓词公式,则 A ∧ B , A ∨ B , A → B A \land B, A \lor B, A \to B A∧B,A∨B,A