|
|
如果去掉伪科学，本论坛还会有人气吗？
下面引用由wangyangke在 2009/09/29 01:18pm 发表的内容：
“蠢货”（ygq的马甲 ）你，“意淫”很开心吗？？？“意淫”很生猛吧？？？
少“添乱”就是多作“贡献”啦。网络时代的“蠢货”还特别多，唉，……
人“蠢”就安静些嘛，没有人硬要“蠢货”（ygq的马甲 ）你出来的.
“蠢货”（wangyangke）你的这种“鹦鹉学舌”，学错地方了。多学下面的这种“一与一对应”吧
************************************
附图：二维几何模型表示的逻辑类型
【公理二】存在且只存在 R(·,·)="∈"∪" Ï "∪" Æ "
按照“一分为二”方法假设代号 A 和 ﹁A ，那么对照“二维几何模型表示的逻辑类型”附图，存在五种侧面，分别如下：
R(·,·)=" Æ " 对应的是 A 和 ﹁A ；
R(·,·)="∈" 对应的是 A←→A 和 ﹁A←→﹁A ；
R(·,·)=" Ï " 对应的是 A←→﹁A 。
以上是【公理】部分，与 A 所选择的具体内容无关。
命题：形式逻辑同一律 A=A 与这里的 R(·,·)="∈" ，是在康托尔集合论内完全等价的。
①起点是形式逻辑同一律 A=A；
②按康托尔集合论的“等号 =”定义，上式完全等价于 A∈A；
③按康托尔集合论的“关系 aR(a,b)b”定义，上式完全等价于 AR(A,A)A 且 R(A,A)="∈"；
..这里的“等号 =”，表示变量赋值；
④将不重要的代号 A 抽象掉，原来必须出现的位置代以“·”,则上式完全等价于 R(·,·)="∈"；
⑤终点是 R(·,·)="∈"。
反方向的证明过程省略。
命题：罗素悖论 AÏA 与这里的 R(·,·)=" Ï " ，是在康托尔集合论内完全等价的。
①起点是罗素悖论 AÏA ；
②按康托尔集合论的“关系 aR(a,b)b”定义，上式完全等价于 AR(A,A)A 且 R(A,A)=" Ï "；
..这里的“等号 =”，表示变量赋值；
③将不重要的代号 A 抽象掉，原来必须出现的位置代以“·”,则上式完全等价于 R(·,·)=" Ï "；
④终点是 R(·,·)=" Ï "。
反方向的证明过程省略。
|
|
IP卡
狗仔卡
发表于 2009-9-29 11:23
显身卡