424逻辑建立在几个与传统逻辑不同的公设之上:
1、不可传递性:若命题A=B且B=C,则A≠C 2、共存性:存在命题A,为真且为假 3、超越性:若命题A无法推出B,B无法推出C,则A=>C 在这三个公设之上,424逻辑在自身可以构建出一套足够完备的定理体系。虽然这个逻辑体系与传统的人类思维格格不入
424逻辑建立在几个与传统逻辑不同的公设之上:
1、不可传递性:若命题A=B且B=C,则A≠C 2、共存性:存在命题A,为真且为假 3、超越性:若命题A无法推出B,B无法推出C,则A=>C 在这三个公设之上,424逻辑在自身可以构建出一套足够完备的定理体系。虽然这个逻辑体系与传统的人类思维格格不入