一、是啊是。
另如：9494，意为“就是就是”。呵呵。
二、424逻辑建立在几个与传统逻辑不同的公设之上：
1、不可传递性：若命题A=B且B=C，则A≠C；
2、共存性：存在命题A，为真且为假；
3、超越性：若命题A无法推出B，B无法推出C，则A=>C； 在这三个公设之上，424逻辑在自身可以构建出一套足够完备的定理体系。 虽然这个逻辑体系与传统的人类思维格格不入，但是Franklin Allen和Christopher Schardl已经证明它在数学上的一致性。 英国伦敦大学逻辑学教授David Makinson称424逻辑的提出堪比非欧几何之于欧式几何。 虽然距离诞生不到一年时间，但是424逻辑很快焕发出了巨大的生命力。它在控制论、人工智能、应用统计、神经网络研究、心理学等领域得到了长足的发展。
