2024年7月8日
自动推理笔记
摘要： 命题逻辑（还记得我吗？） 命题公式 由若干布尔变量和运算符（$\neg, \cap, \cup, \rightarrow, \leftrightarrow$）得到的公式 有一些命题，我们能否从中得到另一个命题 将问题转化成更“正式”的问题 使用自动化程序解决“正式”的问题 通过形式化，可以将每个概念 阅读全文
posted @ 2024-07-08 02:25 redwind 阅读(150) 评论(0) 推荐(0) 编辑