海纳百川

登录 | 登录并检查站内短信 | 个人设置 网站首页 |  论坛首页 |  博客 |  搜索 |  收藏夹 |  帮助 |  团队  | 注册  | RSS
主题: “伪善是善”是否等于“伪A是A”?──写给大贼和其他
回复主题   printer-friendly view    海纳百川首页 -> 罕见奇谈
阅读上一个主题 :: 阅读下一个主题  
作者 “伪善是善”是否等于“伪A是A”?──写给大贼和其他   
所跟贴 打着善良旗号行恶,是伪恶。伪恶亦恶,口毒亦毒 -- Anonymous - (52 Byte) 2002-6-28 周五, 上午3:28 (132 reads)
observer
[博客]
[个人文集]

游客









文章标题: 抬杠:关于“伪A亦A”恒真的形式证明 :-) (140 reads)      时间: 2002-6-28 周五, 上午4:03

作者:Anonymous罕见奇谈 发贴, 来自 http://www.hjclub.org



照老樊的定义,“伪A亦A”乃恒真命题也。下面是一个形式

证明。



为简便计,以下讨论的语域,均指一切可能的行为、言论等。



令:



A=由某些行为、言论组成的集合(如一切善举、善言之集)



B=集A中满足伪A条件之元素的集合(即由A中那些可被

称为“伪A”的元素组成的集合,比如没有高尚动机的善举、

善言之类)



“伪A亦A”,用形式化语言表述就是:



  对任意x,如果x∈B,则x∈A



由于B是A的子集,这个命题恒真。

而且,即使B是空集,命题也真。



因此,“伪A亦A”恒真。

而且,即使伪A并不存在,命题也真。



证毕。



显然,以上证明对任何集合A及其任何子集B都成立。



呵呵,再玩下去,快成“理发师悖论”了 :-)



作者:Anonymous罕见奇谈 发贴, 来自 http://www.hjclub.org
返回顶端
显示文章:     
回复主题   printer-friendly view    海纳百川首页 -> 罕见奇谈 所有的时间均为 北京时间


 
论坛转跳:   
不能在本论坛发表新主题
不能在本论坛回复主题
不能在本论坛编辑自己的文章
不能在本论坛删除自己的文章
不能在本论坛发表投票
不能在这个论坛添加附件
不能在这个论坛下载文件


based on phpbb, All rights reserved.
[ Page generation time: 1.79924 seconds ] :: [ 23 queries excuted ] :: [ GZIP compression enabled ]