离散数学-合式公式和谓词推理

- - - - 2-3 谓词公式  与翻译 - -