Chap3 一阶逻辑 ¶

概念 ¶

谓词逻辑 命题函数=n元谓词 量词 域（domain）

量化推理 ¶

全称实例 全称引入 存在实例 存在引入 全称假言推理 全称取拒式

量词辖域扩张与收缩 ¶

参考这篇文章

评论区