1樓：大菠蘿
第乙個是存在一些y符合條件，根據上面的規則確實成立。題主既然說0和1都有可能顯然符合「存在」的定義，所以真值是1，有可能是教材印錯了。
2樓：Gusttavo Chan
瀉藥。離散數學沒必要講到這裡，不知道題主用的什麼鬼教材，這屬於數理邏輯的語義模型。
具體詳見任意一本國外的數理邏輯教材的一階謂詞邏輯的語義部分。
實際的定義就懶得寫了，我就解釋一下這個題的意思。
首先定義乙個語義模型，其個體域為1和2，意味著內部變數可以取1和2，定義乙個謂詞P，使其在P（1，1）和P（1，2）時為真，其他情況為假。
然後在這個語義模型下，判斷下列兩個一階謂詞語句的真假。
第乙個的意思是對於所有的x，存在乙個y使得P（y,x）為真。這個是真，當x取1的時候，P（1，1）為真，當x取2的時候，P（1，2）為真。
第二個的意思是對於所有的x，對於所有的y，P（x,y)為真。這個是假，因為當x取2時，P（2，1）和P（2，2）都是假。
如果答案是兩個都假的話，八成是答案錯了，或者題目錯了，第乙個式子如果是P（x,y）的話，是假的，有可能是印刷錯誤。
3樓：蘇興池
看了一下，個人覺得這個題有故意挖坑或者是書中謂詞的定義方式和我知道的不太一樣（當然最有可能的是我學藝不精）。主要體現在兩個一階公式都是設p為二元關係謂詞，而非函式，而題目中p是二元函式謂詞，所以是三元關係。。這個我就不太懂了。
關鍵還有，p這個函式對於個體域並不封閉，因為它會計算出0這一非個體域中的結果。所以如果說書中定義的謂詞是必須對於個體域封閉的話，那麼該謂詞似乎只能取兩個結果為1的作為個體域上的三元關係，不能取結果為0 的那兩個。
如果是這樣判斷的話，那麼只能理解為個體域上有關係p（1，1）和p（1，2），這樣的話公式（1）可滿足，（2）不可滿足。。。
但是我個人也不太明白，請高人回答
想著乙個問題想不通便發呆說明乙個人沒有深度思考的能力嗎？
雲天騎 關於深度思考這一點，我缺乏經驗不做判斷。想不通問題就發呆。大概是因為想到什麼地方了，但因為無法驗證或者判定，所以斷了思緒。如果是如上所說。那麼只是缺乏與之相對應的資訊。多收集與之對應的資訊就可以解決。如果問題本身與自我生活沒有實質性的聯絡。就從常識上簡單判斷一下就好，過多深入反而不好。因為你...
考研二戰失敗，煩惱之中產生乙個問題想不通，有人能幫忙解答嗎？
233 233 朋友你好，我今年也是二戰，去年翻船的原因是數學只考了8分，具體的就不說了。但考研失敗不是我產生挫敗感的最大原因，我頭疼的是我考駕照的經歷，一度讓我懷疑人生。跟我一起學駕照，剛高中畢業的表弟直接一把過，我在科目二上掛了四次 考證一度與師傅乙個五十歲的阿姨學員一樣困難，讓全駕校的師傅一度...
今天讀傳習錄有乙個問題怎麼也想不通，有懂的大佬可以幫忙點撥一下嗎
李小滿 你為什麼要學習陽明心學？因為你知道了心學的存在和好處，你同學為什麼不學？因為他不知道或者認為沒用。所以心是第一位的，你想學了才會去做，你不想學，自然不會去做。 東來先生知行合一 簡單點，先生也提倡不同問題可以不同解讀，只要方便理解俗話說天理良心 先生的知，你當做良心就行了，你去處理乙個事情憑...