一阶逻辑和猜想范式

Question

请考虑以下段落，请在下面回答这些问题

“任何吃垃圾食品或喝碳酸饮料的人都是癌症的受害者。并非有些人吃垃圾食品，但他们很健康。每个癌症受害者都不健康。 Bimal是一个健康的人”

以一阶逻辑写上一段并将其转换为合取范式。通过考虑第（d）部分中的段落，检查Bimal是否喝碳酸饮料。

Answer 1

第一句话：

第二句：

第三句话：

第四句：

---

首先要转化为CNF，您应该删除通用量词，并用skolem变量替换现有量词：

• 
• 

• 
• 

---

现在您可以使用逻辑规则将其转换为CNF。

第一句：

我从不相关的变量范围（垃圾食品和碳酸饮料）中删除了谓词。您还可以在一开始就通过使用两个通用量词来实现此目的，一个用于食物，一个用于饮料。

第二句话：

第三句话：

第四句话：

---

现在尝试删除相应的句子。我们假设Bimal饮料为碳酸饮料：

，我们知道：

所以现在我们将这些句子作为CNF子句：

1. 
2. 
3. 
4. 
5. 
6. 
7. 
8. 

我们正在寻找一个矛盾：

• 从4,5,6起：
• 来自2,6,7,8：

由于这两个矛盾，我们得到了一个空句，根据荒谬的说法，我们可以说我们最初的假设（Bimal饮料碳酸饮料）是错误的。