跳转到内容

计算机科学家的逻辑 / 谓词逻辑

Add links
来自维基文库，开放世界的开放书籍
< 逻辑 for Computer Scientists
此页面可能需要审阅以确保质量。

5.1 谓词逻辑
5.2 语法
5.3 语义
5.4 等价性和范式
5.5 Herbrand 理论
5.6 语义树
5.7 决议
5.8 决议策略
5.9 SATCHMO

取自 "https://wikibooks.cn/wiki/Logic_for_Computer_Scientists/Predicate_Logic"
华夏公益教科书