谓词逻辑永真公式