※ 引述《zxvc (众生都是未来佛)》之铭言：
: ※ 引述《yauhh (哟)》之铭言：
: : <cut />
: : C 的 if 意思确实是这样子. 对同一个事实q而言,p是true,q就跟着是true.
: ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
: 这句话就错了。
: p q p->q
: 1 0 0
: 0 0 1
: p是true，q没有跟着是true。
: [恕删]
==============================================================================
如果针对 C 程式语言来讲, 前面已有网友提到 if(a) 跟 function procedure foo(x)
形式虽同, 但其实不称为 function statement 而是被指定为特定的 keyword 称为
if statement.
在程式语言上, if(a) 不会被 compiler 认定为这是一个 function statement.
===========================
如果是一段片段程式
input x;
if (x > 0) then y=x else y=-x ;
output y;
这片段程式 叙述了 input x 与 output y 的关系, y 对 x 的结果符合
数学上的下列 y=fun(x) 函数关系:

妈 我在这里

越来越热闹了这串

很庆幸我的想法有部份可以博得他人类似的看法.

p->q当然可以可以写成function的形式。但我争论的重点是C语言的if，或有些网友定义的if，不是逻辑学上讲的if。事实上p->q的boolean equation是p'+q，也可写成function的形式f(p, q) = p'+q。我从头到尾没有否定这一点。g大，我相信你也懂这分别。我那些话是讲给别人听的。

推.