据说文王的易经，老子的道德经，也有一些形式逻辑的摸样了。