数理逻辑
§1.1命题
§1.2.重言式
§1.3.范式
§1.4.联结词的扩充和归约
§1.5.推理规则和证明方法
§1.6.谓词和量词
§1.7.谓词演算的永真公式
§1.8.谓词演算的推理规则
匿名回答于2021-01-04 00:16:43