22/04/28 18:25:30.70 0ksV2Oax.net
は～。『Essential Logical Strucrture』はブログの内容を
マシマシにしたものを載っけて140ページになってんのか。
ますますカルト化っぽいっすよ。
謝辞に名前を挙げられた人たちはどう思ってんだろ？
アブストラクトのdisplayed formulaも意味不明っす。
X = Y ⇒ Z は普通の人なら 「X=Y（が真）」⇒「Z(が真)」と
読むんだろけど、どうもそうじゃなさそうだね。
中身もXORが無限個繋がっとるし。
ここで知ったかぶりしてる人が解説してくれるんかね。