2022 年 10月 23 日随笔档案 - 在野武将

摘要： 1.谓词和量词：谓词的概念与表示命题函数与量词变元的约束 2.谓词演算的永真公式： US等四条规则；谓词演算的等价与蕴含式 3.谓词演算的推理规则：谓词演算的推理理论推理示例及顺序 cp规则的使用联结词的扩充与归约阅读全文

posted @ 2022-10-23 22:20 在野武将阅读(610) 评论(0) 推荐(0)