|
制止网络暴力
下面引用由moranhuishou在 2009/09/27 11:50am 发表的内容:
也不自己找地方照照,你都会点什么???
论坛上一条恶犬而已。 【鉴定】和【评估】结论是:“无知者无畏”式的“蠢货”(moranhuishou)
我(俞根强、ygqkarl)会点“自知之明”
***************************************
附图:二维几何模型表示的逻辑类型
【公理二】存在且只存在 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(·,·)=" Ï "。
反方向的证明过程省略。
|
|