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)