摘要：命题逻辑（还记得我吗？） 命题公式 由若干布尔变量和运算符（$\neg, \cap, \cup, \rightarrow, \leftrightarrow$）得到的公式 有一些命题，我们能否从中得到另一个命题 将问题转化成更“正式”的问题 使用自动化程序解决“正式”的问题 通过形式化，可以将每个概念 阅读全文