我为何要求删除《关于侵略与被侵略、占领与被占领、统治与被统治
嘿嘿,结论很有意思,是个悖论:你想不想留点面子?
先从最简单的开始说,你承不承认:
1)你不可能同时是人又不是人。2)如果你是人,你女朋友也是人,那么你和你女朋友都是人。而你或你女朋友只要至少有一个不是人,那么你和你女朋友不可能都是人。
现在定义否号为f,合取号为h,析取号为x
证明,任一真值连接词都可被{f,h}定义。
假设有n个命题变项,则构造一2^n行的真值表,设考察的真值联结词为g。
观察该真值表的第i行,如果g的值为1,则构造一真值形式p(i,1)h(p(i,2))h……h(p(i,j))……h(p(i,n))
其中p是命题变项,i是行号,j是列号。
当p(i,j)为0时,将上一真值形式中的……h(p(i,j))h……改为……h(fp(i,j))h……
将这一真值形式命名为g^i。
将所有g为1的行提出,重新排列为g^1,g^2,……g^m
构造真值形式(g^1)x(g^2)x……x(g^m)
则该真值形式等价于g
所以{f,x,h}完全。
由于x可由{f,h}定义:(p)x(q)=f((fp)h(fq))
所以{f,h}完全。
证毕#
也就是说,如果你想要面子,你就要承认1),2)两条(因为这连小孩子都知道),可这样就证明你以前的话是错的。那些低智啊什么的称号就……,这样你会比较没有面子。但如果你不想要面子,为了证明你的一贯正确而否认1),2),那么你的确会没有面子,但是这又与使你同时有面子又没有面子的假设矛盾。
有意思吧?
__________________
镜子和父性令人厌恶,因为它们使世界增殖。
2001-08-04 06:10 AM 发表 | 举报这个帖子 | | |