给定句子: 1.Tom 有一台不错的笔记本电脑 2. 只有当 Mary 去餐厅时,Tom 才会去餐厅
我将如何将其转换为命题逻辑和谓词逻辑。我试着试一试,但我不确定它是否正确。
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)
这个对吗?