ERT312近日來是本板的新板友， 本板一向人氣低落，幾乎淪於puzzle的討論或者無意義的吵嘴上。 當然有新朋友來，提供一些正向討論這我很樂見。 不過ERT312近日來在本板發表的文章，屢屢涉及一些不清不楚的語詞，甚至有人批評為 術語的濫用。在經過其他板友質疑後，ERT312本人也不做任何的回應。 目前我無法確定ERT312是不是惡意的鬧板，如果ERT312不是刻意搗亂的話， 煩請解釋一下你提到的東西。我可以體諒你身體不舒服， 所以給你三天的時間答覆我的問題，期限就是到10/17的23:59為止。 屆時你仍無法給出恰當說明的話，那我會以鬧板的理由將你放進水桶裡。 而所謂的恰當說明，我會在你給出答案後，一字不漏的詢問一些邏輯領域的學者。 請他們下判斷是否為恰當，其答案會以具名的方式，由我轉貼至板上。 如果你不同意我的判決，或者因任何理由不願合作，我將視這為你惡意鬧板的證成理由， 從我知道的那刻，會將你放入永久水桶。如果你對板主的作為有任何意見， 請移駕小組討論區申訴。 以下我提及三項ERT312說過的，嗯，該怎麼說呢，或許是古怪不甚合理的想法。 所提文章皆在邏輯板內，ERT312要回答的問題都用亮紅色標記： 1.本板(AID): #18u7Sjxy 　於此篇推文中，ERT312反覆提及根本不可能有偽命題。 推 ERT312:所以可以寫出矛盾的語句? 10/02 22:17 推 ERT312:p and ~p 不是命題 10/07 01:24 請你解釋一下，這是這串討論串中，個人認為比較有趣的宣稱。 　因為這不符合初階語言的構句規則。請你解釋一下，偽命題不存在要怎麼成立？ 　讓我提醒一下就算Assert that P implies it is the case that P.這樣的想法， 這並不蘊含沒有偽命題。 2.本板(AID): #18ynWtcy 　於此篇文章中，ERT312提到： 　P是一個集合，Q是動詞，又不是命題 　你真的知道你寫的 (P-->Q), (~P--> ~Q)是什麼意思嗎? 　可以這樣亂套? 在這篇文章之後，我有說過第一次看到這樣的寫法。 　那時說的不甚詳細，個人在這解釋一下。 　Q是一個動詞的意思或許是指這是predicate，但是通常這樣會寫作Qx或Q(x)， 　可是，Qx是一個open formula，簡單來說他是一個開放命題。 　ERT312你在這板開口閉口說別人掉書袋， 　甚至是嘲笑我邏輯很差，這我都可以接受，我知道有的人以指責別人為樂。 　但是你能夠回答，你在說甚麼東西嗎？ 請在初階語言裡面回答：你說的Q是動詞，不是命題。 　是在哪個初階語言裡的logic system才可能？ 只要回答是在哪個system下就好，並給出參考資料，感謝。　 3.本板(AID): #18yqiOWZ　　　　 你在推文中提及，初階語言用的符號個數比英文字母26個還少。 → ERT312:忘了說了，這還不是一階邏輯語句，一階邏輯語句能用的符號 10/13 21:27 → ERT312:個數比英文字母(26個)還少。 10/13 21:28 　我寫東西常常出錯，所以讓我們看一下wiki對於初階語言的符號寫的是甚麼。 　http://en.wikipedia.org/wiki/First_order_language#Symbols 　　 　符號分成兩種，一種是邏輯符號，一種是非邏輯符號。 　非邏輯符號當中有Ｎ，也就是自然數， 　這題我的要求如上一樣不多，請你證明Ｎ小於26，感謝。 　我知道這要求和你講的不一樣，但至少得先證出Ｎ小於26，你的宣稱才成立吧？ 　 我總結一下ERT312必須在期限內回答的三個問題， 1)偽命題不存在要怎麼成立？ 2)請在初階語言裡面回答：你說的Q是動詞，不是命題。 　是在哪個初階語言裡的logic system才可能？ 3)證明Ｎ小於26 此篇判決談及的內容，自發布之後即刻生效。 我再說一次，ERT312以任何理由不合作，或者對此篇判決有任何的疑問， 都將視為是惡意鬧板成立，我將以板主應當維護板面討論風氣的責任， 將ERT312永久水桶。 在指責我們的同時，ERT312你要對你自己說過的那些話負責。 或許你在別處可以講一些不負責的話自爽，但這裡是邏輯板，不是你撒野玩沙的地方。 -- 不是生在台灣，長在台灣，有手有腳，就有資格自稱是台灣人。 他也可能是台灣獼猴。 --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 220.134.201.196 ※ 編輯: aletheia 來自: 220.134.201.196 (10/14 22:33)