propostional邏輯和判刑謂詞邏輯

Question

： 1.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) 

這是正確的嗎？

Answer 1

你誤解了第二句：不說，湯姆去餐廳每當瑪麗做，說湯姆只去瑪麗是否確實餐廳，即湯姆從未去餐廳除非瑪麗這樣做。

根據您想象的方式，您可以將其編寫爲q ∨ ¬p或¬q → ¬p，它們是等效的。

同樣的問題適用於您的第一順序表示法。

您對第一句的表示是OK-ish，但是如果您必須添加對象和對象屬性，您將會使謂詞相乘。你也錯過了表達筆記本電腦「好」質量的機會。

您可以通過使用具體化來解決這兩個問題，即通過將變量與筆記本電腦對象相關聯，如laptop(x) ∧ nice(x) ∧ has(tom,x)。