当前位置:首页 > 信息 > 文章正文
时间:2022-09-20 08:49 | 栏目:信息 | 点击:次
424逻辑建立在几个与传统逻辑不同的公设之上:
1、不可传递性:若命题A=B且B=C,则A≠C 2、共存性:存在命题A,为真且为假 3、超越性:若命题A无法推出B,B无法推出C,则A=>C 在这三个公设之上,424逻辑在自身可以构建出一套足够完备的定理体系。虽然这个逻辑体系与传统的人类思维格格不入