离散数学 学习 之 一阶逻辑基本概念 （ 四 ）

好好理解这个 代换实例，每个 谓词公式 都替换一个 命题公式

在蕴含式 中 ，只有前式 为 假 ，后式 为 真，这个式才是假的 ，可以利用 这个进行判断


找个 成真解释 ，找个 成假 解释
不能 替换 才去 找 解释 ， 只有含有多个谓词 公式才替换