2谓词逻辑
- 第二章 谓词逻辑 - 合肥工业大学理学院邢燕 - 2.1 谓词的概念与表示 - 命题逻辑的局限性:下列推理:凡是人都是要死
2谓词逻辑