1樓：beanandbean
題主的寫法連線符號都沒有錯，但省略括號導致了歧義。按照這種寫法，正確的解答應該是 ，但是題主的版本按照合取式比蘊含式優先順序高的慣例會被理解成 ，就變成「不存在比所有火車都快的汽車，也不存在不是汽車的東西」了。（因為當 不是汽車時，後面的蘊含式條件為假，所以蘊含式自動為真，所以要想讓整個式子為真就不能存在這樣的 ）
題主問了「應該如何寫這種全稱和特稱混在一起的命題「，那麼我們就先來分析一下標準答案中的兩個式子是怎麼改寫出來的。其實很簡單，如果你能夠在腦中進行如下的直觀的拆解的話，甚至都不需要去背誦特定的翻譯定式，直接逐步推導就可以了：
不存在比所有火車都快的汽車
不存在x（x是汽車並且x比所有火車都快）
不存在x（x是汽車並且任意火車y滿足x比y快）
不存在x（x是汽車並且任意y（如果y是火車，那麼x比y快））
換一種說法就是
不存在比所有火車都快的汽車
所有汽車都至少不比某一輛火車快
所有汽車x （x不比某一輛火車快）
所有x （如果x是汽車，那麼x不比某一輛火車快）
所有x （如果x是汽車，那麼存在y（y是火車並且x不比y快））
這個過程中，如果哪一步你變換的不夠自然，比如說你常常沒法從「所有型別是A的x都滿足*****「聯想到」所有x（如果x是A，那麼x滿足*****）「，那麼你就把它作為定式記住，接下來就只需要由外而內地逐步拆解，那麼不管命題中包含多少個量詞，最終都是能化簡為符號化的公式的。
最後，題主的解答和兩個標準答案都不相同，但根據量詞可以從合取式中提出的規則（即 等價於 ， 等價於 [1]）， 和 明顯是等價的，因此如果加入了遺漏的括號後同樣是正確的。
2樓：鍵山怜奈
是錯的，考慮G(x)恆假，意即「不存在汽車」，那麼 恆真，因此 是假命題
但是不存在汽車的話，顯然「不存在比火車快的汽車」是真命題，所以二者不一致
命題符號化有很多種不同的規則，我自己比較喜歡的一種規則是要求 後面跟隨乙個域，放在這裡就是
不同寫法之間可以依據 和 進行轉換
如果所有的生物都不存在，宇宙的存在還有什麼意義？
宇宙本身就是活的，裡面有無數層次和生命，遠不是人類現在以為那麼一點。宇宙的存在就是為了生命的繁榮，因為我知道，宇宙就是給眾生開創的，這是最終造物主造宇宙的目的。當然最後的大宇宙也是有壽命的，他也在按照宇宙的執行規律在走。我說宇宙不是我們銀河系等小宇宙範圍，是整個宇宙天體。過去宇宙的最終結局都是滅，全...
如何證明克蘇魯是不存在的？
喝了一口猹 這問題就跟 如何證明上帝是不存在的一樣 你無法證明未知事物不存在，也無法證明它存在。就算克O魯是真的，但衪也不應是人類可以理解的型別，同樣無法證明存在或不存在 願神賜福你 說簡單點用飛天意面神教去證，不過這個理論會把所有神都一棒子打死，所以還是說點別的。原始時代人類信仰的很多神在神話裡的...
如何描述空間或者時間不存在的場景？
qinsc傳奇 空間不存在，這是人類的思維無法想象出來的，任何描述都是人類思維。佛經說 但有言說，皆無實義。時間不存在的情況就好說了。因為時間真的不是絕對統一的存在。每個人都有自己的時間刻度。每個人的時間都是相對的。所以，他人不在你眼前的時間，在這個時候對就是時間不存在。此時一直存在的只是與你相關的...