数学联邦政治世界观
超小超大

元谓词的对称性破缺

应该关注的是“可证”这个元谓词的对称性破缺,而不应该把注意力集中到“或”和“且”上。

稍稍集中注意力,不难发现元谓词“可证”对偶于“不可证伪”。用 P(A) 表示 A 可证,则 ~P(~A) 表示 A 不可证伪。已知 P(A 且 B) = P(A) 且 P(B),P(A) 或 P(B)<P( A 或 B)。尝试一下简单的计算:

~P(~(A 或 B)) = ~P(~A 且 ~B) = ~(P(~A) 且 P(~B)) = ~P(~A) 或 ~P(~A)

~P(~A) 且 ~P(~B) = ~( P(~A) 或 P(~B) )> ~P( ~A 或 ~B) = ~P(~(A 且 B) )

经计算可以发现,谓词 ~P~ 和 P 具有相反的对称性破缺,这个结果看起来还是比较对称的。

数学联邦政治世界观提示您:看后求收藏(笔尖小说网http://www.bjxsw.cc),接着再看更方便。

相关小说

元良续章 连载中
元良续章
南缘十四
一次意外,让两个世界相撞,我们成了彼此不可或缺的拼图。我们的相遇,点亮了彼此的夜空。
2.1万字5个月前
一个人族少女的事务局日常 连载中
一个人族少女的事务局日常
南棠Xinxin
前期讲述一位人族少女和她的朋友们在特殊组织空行事务局的工作和生活日常
6.8万字5个月前
玄界:往事寻意 连载中
玄界:往事寻意
路过的魈厨
双男主安米瑞斯×宴江副cp枫喻川×周暮云克罗维亚斯×苏长青殷十九×穆灵
1.7万字3个月前
镜启(完结) 连载中
镜启(完结)
余渊旧林
(因为游戏谈上的俩人帮助岑凛找母亲)幻想
0.4万字2个月前
嗜血暗夜 连载中
嗜血暗夜
亦依然
卡米拉一直认为自己是一个没有感情的怪物,可是最后他还是心软了,收养了个半人半吸血鬼的小可怜作为吸血鬼,卡米拉惊奇的发现自己新收养的小可怜竟然......
0.7万字2个月前
快穿:万年女配要翻身 连载中
快穿:万年女配要翻身
梁凉了
一不小心穿越了一回,系统君竟然给了无数个女配剧本!接受吧,被男女主虐死!不接受吧,马上死!灰飞烟灭的那种。于是,她妥协了。拿着女配剧本穿梭于......
13.5万字2周前