命题逻辑5

例2.16  有人说无法求公式∀x(F(x)→G(x))→∃xH (x，y)的前束范式，理由是两个量词的指导变元相同．他的理由正确吗？给出该公式的一个前束范式，




例2.17  设个体域D={a，b}，在D中消去公式∃x(F(x)∧∀yG(y))中的量词时，甲、乙给出了不同的演算过程：



文/程忠 浏览次数：0次   2022-09-10 16:22:53

相关阅读

评论:
点击刷新

↓ 广告开始-头部带绿为生活 ↓
↑ 广告结束-尾部支持多点击 ↑