命题逻辑和谓词逻辑

Question

给定句子:1.汤姆有一台漂亮的笔记本电脑2. 汤姆只在玛丽去餐馆时才去餐馆

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

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

你误解了第二句话:它没有说每当玛丽去餐馆时汤姆就去餐馆，它说只有当玛丽去餐馆时汤姆才去餐馆，即除非玛丽去餐馆，否则汤姆从不去餐馆。

根据你想象的方式，你可以把它写成q ∨ ¬p或¬q → ¬p，它们是等价的。

同样的问题也适用于你的一阶表示。

你对第一个句子的表示是ok的，但是如果你必须添加对象和对象属性，你将会增加谓词。你还错过了一个表达笔记本电脑"好"品质的机会。

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