Question

鉴于这句话：汤姆有一台漂亮的笔记本电脑只有当玛丽去餐厅时，汤姆才会去餐厅

我将如何将其转换为命题逻辑和谓词逻辑。我试着试一试，但我不确定它是否正确。

Propositional
1. P = Tom has a nice laptop
   p
2. p= tom goes to restaurant
   q= mary goes to restaurant 
   q->p

predicate 
1. has_a_laptop(tom)
2. Goes_to_rest(mary) - > goes to rest(tom)

这是正确的吗？

Answer 1

你误解了第二句话：它并没有说，只要玛丽做了，汤姆就会去餐厅，如果玛丽这么做，就说Tom 只有去餐馆，即汤姆从不去餐厅，除非玛丽。

根据您对此进行可视化的方式，您可以将其写为q ∨ ¬p或¬q → ¬p，它们是等效的。

同样的问题适用于您的第一个订单代表。

您对第一个句子的表示是OK-ish，但如果您必须添加对象和对象属性，则将乘以谓词。你也错过了表达笔记本电脑质量“漂亮”的机会。

您可以通过使用具体化解决这两个问题，即将变量与笔记本电脑对象相关联，如laptop(x) ∧ nice(x) ∧ has(tom,x)。

Answer 2

观看此视频-https://www.youtube.com/watch?v=OZVTDQIgGz8人工智能中的命题逻辑命题逻辑示例PL Eng Hindi

命题逻辑和谓词逻辑

2 个答案: