一、是啊是。

另如：9494，意為“就是就是”。呵呵。

二、424邏輯建立在幾個與傳統(tǒng)邏輯不同的公設(shè)之上：

1、不可傳遞性：若命題A=B且B=C，則A≠C；

2、共存性：存在命題A，為真且為假；

3、超越性：若命題A無法推出B，B無法推出C，則A=>C； 在這三個公設(shè)之上，424邏輯在自身可以構(gòu)建出一套足夠完備的定理體系。 雖然這個邏輯體系與傳統(tǒng)的人類思維格格不入，但是Franklin Allen和Christopher Schardl已經(jīng)證明它在數(shù)學(xué)上的一致性。 英國倫敦大學(xué)邏輯學(xué)教授David Makinson稱424邏輯的提出堪比非歐幾何之于歐式幾何。 雖然距離誕生不到一年時間，但是424邏輯很快煥發(fā)出了巨大的生命力。它在控制論、人工智能、應(yīng)用統(tǒng)計、神經(jīng)網(wǎng)絡(luò)研究、心理學(xué)等領(lǐng)域得到了長足的發(fā)展。