作者yauhh (哟)
看板PLT
标题Re: [问题] if是不是函数
时间Wed Sep 29 08:48:12 2010
※ 引述《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是false,q就跟着是false. 而且 p 是false, q 真的被逼得变成 true.
至於 p true 而 q false 的情况,从来不可能发生.
(不过,目前我有个通信的对象,写出一段程式说:
if (true) printf("I\'m a function.\n");
if (true) printf("I amn\'t a function.\n");
如此假装它跑出来的结果一下子是又一下子不是.
你说说看,这种式子是否能证明 "if不是函数" ? )
对照到C语言, q 可以是一列不限数目的叙述,不管 q 叙述是多少,
你永远找不到一种 if p then q 对应情况不符合逻辑上的 p -> q.
另外,我们可以来看看,照逻辑真值表来看,是否指出 -> 不是函数.
要说不是函数,其中一项证明是举出有某个 p 同时 -> q 又 -> q'.
将您所贴的真值表抄下一半下来看:
: p q p->q
: 1 0 0
: 1 1 1
这二行看起来好像是一个 p 会对应到 q 又对应到 not q, 但是,
你还要看在第一行 p->q 栏位说,关於 p 1 q 0 这条规则,没这回事.
於是,我们知道 p 为 1 的时候, q 只会对应到 1.
接着再看上面一半:
: p q p->q
: 0 0 1
: 0 1 1
哎呀,好像是一个 0 对应到二个. 这我不知道到底像我这样子解释对或不对:
p 为 0 的情况,代表函数的底. 我们只讲 p 为 0 是函数的底.
而不是说 p 究竟使 q 为 0 或 1.
通常会说 p -> q 就等於 not p or q. 当不是 not p 情况时,我们看得到 q.
但是 not p 的时候,就看不到 q. 所以,我觉得这意思是说 not p 是 if 这种函数
的底.
如果你要认为它不是,请你提出证明.
先提出证明,再取笑; 而不是先取笑, 後来却无法提出证明.
(爱丽丝梦游仙境有一段她与红皇后的对话,红皇后说:"先宣判,然後再审议."
爱历丝马上大喊:"竟然先宣判!!!?")
: 而前者这种if在逻辑学上并没有这样的定义，
: 逻辑学只有定义"if p then q"。
: 如果有人硬是要把前者定义为"程式语言里讲的if"，
: 而不是"逻辑学的if p then q"，那的确还有讨论下去的空间。
: 只是"程式语言里讲的if"如果真是一个function，
: 请问是在什麽概念下来看是个function呢？
: 若以C/C++ compile成ASM的角度来看，if真的不会compile成function。
: 不过yauhh大也强调，他并不是以这种角度去诠释if是个function。
: 他似乎想用更高度抽象(abstraction)的方式去诠释if是个function。
: 如果他的说法不能自生矛盾，我是能尊重他的学说。
: 有人可能会觉得干麽尊重一个无用的学说？
: 但很多学问当初被发明也没有什麽实用目的，
: 是到後来人们才发现它有实用目的。
: 搞不好改天yauhh大发明个更高阶的yauhh程式语言
: 影响了程式语言的发展，变成一个大家不得不学的语言也不一定XD
不要闲扯. 你最後这样写,反而看起来是你来这里贴个战文,公然批评我这个人而已.
那你就该想一下,你有没有资格这样子点名处理??
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 211.21.94.199
※ 编辑: yauhh 来自: 211.21.94.199 (09/29 08:58)
1F：推 zxvc:我有事暂时无法对你的问题都作回覆，不过我想知道我到底哪里 09/29 08:58
2F：→ zxvc:批评你，惹你生气？要把尊重看成不尊重，不是我的错。 09/29 09:00
3F：→ yauhh:你自己看看最後几句吧,点名点名成这个样子,有没有梗就难讲了 09/29 09:09
4F：推 zxvc:讲你名字就是骂你吗？ 09/29 09:13
※ 编辑: yauhh 来自: 211.21.94.199 (09/29 09:42)
5F：→ yauhh:我不知道你的观念是如何,并不是讲到名字,而是你讲到名字之外 09/29 09:43
6F：→ yauhh:还将我的名字跟一些事情连结.你说说看这有没有奚落之意?? 09/29 09:43
7F：→ yauhh:你在这个板贴这文,本来可以跟我无关. 但是你特地提我,说我, 09/29 09:45
8F：→ yauhh:那我就会觉得,你上别的板讲我是要干嘛呢? 09/29 09:45
9F：→ yauhh:至於你说我生气,显然是心虚了不是吗? 不管我有没有生气,你随 09/29 09:46
10F：→ yauhh:便上任何一个别的板讲我,我都有权提出抗议. 然而,在你看, 09/29 09:47
11F：→ yauhh:你可能只归咎於我个人情绪,而忽略了你自己的行为. 09/29 09:47
12F：推 ledia:y版友心理素质比较脆弱, 不太有幽默感, z版友就别跟他说笑了 09/29 09:48
13F：→ yauhh:ledia你这样说就不对了,你怎麽可以更针对我了呢? 09/29 09:48
14F：→ yauhh:来,你来得正好,来说说看你那二行if是一个怎样的"非函数" 09/29 09:49
15F：→ yauhh:来讲讲,让大家笑一笑. 09/29 09:49
16F：→ yoco315:小y宝贝 你是真的不知道大家都在笑你对吧 XD 09/29 09:52
17F：→ yoco315:现在看你的文已经变成我日常生活的重要调剂了 <(_ _)> 09/29 09:53
18F：→ yauhh:但是你没有讲什麽东西,你却很自high啊?那你也是小y宝贝一员 09/29 11:42
19F：推 zxvc:你本来就跟有些事情连结，为何不能提到你？例如那if的特殊真 09/29 12:08
20F：→ zxvc:值表，是从你而来的吧。 09/29 12:09
21F：→ zxvc:至於我说你可能能发明新语言，我不觉得我有在嘲笑你。 09/29 12:11
22F：→ yoco315:宝贝 我早就说过了 跟你一样y开头我觉得好可耻 qq 09/29 12:33
23F：→ yoco315:ㄍ 金衰 09/29 12:33
24F：→ godfat:麻烦一下，首先看一下板规，请勿推文超过三行 09/29 13:17