作者zxvc (众生都是未来佛)
看板PLT
标题Re: [问题] if是不是函数
时间Wed Sep 29 09:12:23 2010
※ 引述《yauhh (哟)》之铭言：
: ※ 引述《zxvc (众生都是未来佛)》之铭言：
: : 这讨论主要是接续C_AND_CPP板的这系列文章作讨论：
: : "[闲聊] 这里将近两万篇的文"
: <cut />
: : 试回想以前逻辑学学的"if p then q"真值表是这样吗？不是！
: : p->q的真值表应该是这样：
: : if p then q
: : p q p->q
: : 0 0 1
: : 0 1 1
: : 1 0 0
: : 1 1 1
: C 的 if 意思确实是这样子. 对同一个事实q而言,p是true,q就跟着是true.
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
这句话就错了。
p q p->q
1 0 0
0 0 1
p是true，q没有跟着是true。
[恕删]
--
信佛的人要知道：佛绝不会说谎。但请把握时光。
法灭尽经：
http://www.cbeta.org/result/normal/T12/0396_001.htm
共勉之。
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.115.71.171
1F：→ yauhh:我也有事,十分钟之後再来看你这篇以及回应. 09/29 09:16
2F：推 yauhh:哎呀,你这样讲就大错特错了,我以为是怎麽了... 09/29 09:28
3F：→ yauhh:你以为 p->q 栏位标示为 0 是标示什麽的? 09/29 09:29
4F：→ yauhh:而且关於 p 1 q 0 的情况,我前文中的确提到了.可见你没看. 09/29 09:30
5F：→ yauhh:看起来你没有认真思考你在写什麽,所以,我想算了,既然你并没 09/29 09:33
6F：→ yauhh:很认真关心p->q本身的意思,要不要就此打住,别再谈了? 09/29 09:34
7F：→ zxvc:我不知道你想表达什麽，我已经提出证据你那句话有错。 09/29 11:42
8F：→ zxvc:你如果想表达的不是这意思，请你改正过重讲一次。 09/29 11:43
9F：→ yauhh:证据? 你没有提出证据啊! 我已经告诉你,这句话不是讲这意思. 09/29 11:44
10F：→ zxvc:我重点是在p(true), q(false), p->q(false)这一行，q不必跟着 09/29 11:45
11F：→ yauhh:而且在你引文的下一段,我就指出你没看的那句话,讲的就是 09/29 11:45
12F：→ zxvc:是true。 09/29 11:45
13F：→ yauhh:你这篇文章想要讲的意思. 09/29 11:45
14F：→ yauhh:你是蕃人是不是啊? p->q 为 0的意思就是"这一行不成立"啊! 09/29 11:46
15F：→ zxvc:我也告诉你，不是这意思就改过重打，否则我搞不清你的定义为 09/29 11:46
16F：→ zxvc:何。 09/29 11:47
17F：→ yauhh:不,在你看前文的时候,我并没有改你引文的上下段落. 09/29 11:47
18F：→ yauhh:我改的是别段. 09/29 11:47
19F：→ yauhh:你引文这一段起码有二行,下一段有一行,但是,你却只引这一段 09/29 11:48
20F：→ yauhh:的第一行,来说我所讲的全都错. 这样你懂了吗? 09/29 11:48
21F：→ zxvc:你那句话明明就加句号，就是一句话。 09/29 11:51
22F：→ zxvc:没有人规定p->q中，p为true，q就一定得true。 09/29 11:53
23F：→ godfat:麻烦一下，首先看一下板规，请勿推文超过三行 09/29 13:17