※ 引述《qaassbt (我是狗我是洨Ｑ)》之铭言： : ※ 引述《kimifort (奇米堡)》之铭言： : : 「有人觉得没用就代表这功能没用阿」 : : ...?! : 嘘 lafel:逻辑差就别出来丢人现眼 05/18 16:05 : → lafel:对了，欠版众的开图RP你什麽时候要还 05/18 16:06 : 闲闲没事，来讨论一下简单的逻辑， : tftootft的论点 有人觉得有用 就代表 这功能有用阿 : 　Ｐ事件 　　 　 →　　　Ｑ事件 : 用高中程度的简单逻辑，Ｐ→Ｑ≡～Ｑ→～Ｐ Exist x (Px) -> Q === ~Q -> ~ (Exist x (Px)) === ~Q -> For All x (~Px) 有人觉得有用 -> 这功能有用 or 这功能没用 -> 所有的人都不觉得有用 : 翻译成中文就是：「若Ｐ则Ｑ」同义於「非Ｑ则非Ｐ」 : 非Ｐ事件：没有人觉得有用 : 非Ｑ事件：这功能没有用 : kimifort说：有人觉得没用　就代表　这功能没用阿 : 　　　　　　Ｒ事件　　　　　→　　非Ｑ事件 Exist x (~Px) -> ~Q === ~ For All x (Px) -> ~Q === Q -> For All x (Px) 有人觉得没有 -> 这功能没用 or 这功能有用 -> 所有人都觉得有用 : 用这句Ｒ→～Ｑ想表示的是？ : 跳针？ : 八百个人觉得包青天很贤明，一个人觉得他砍了我老爸，判刑太重根本脑残。 : 那...他就脑残？ : 当然，上述种种，不代表你说的是错的， : 只是就正常逻辑来说，你的说法与大众不合。 两个论述其实没有矛盾，只是 tftootft 认为有人觉得有用就算有用， kimifort 认为要所有人都觉得有用才算有用。 用初阶逻辑去处理有量词的推论很难讲清楚，请爱用量化逻辑和量化符号。 (其实我也不知道中间有没有推论错，修课实在太久以前了) : 补个魔兽点： : 信长 : 阿国绑了人以後，可以先绑再开Ｅ哦～ : 松永绑了人以後，可以先绑再开Ｒ哦～ : 道雪绑了人以後，可以先绑再开Ｄ哦～ : 道三绑了人以後，可以先绑再开Ｗ哦～　　　　　　　　　　　　　　只是道三绑会断掉 没有魔兽点，闲聊。 -- 我实实在在的告诉你们，一粒麦子不落在地里死了， 仍旧是一粒，若是死了，就结出许多子粒来。 约翰福音 12:24 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 140.112.31.132