姊妹篇 老子 八卦 周易 逻辑函数 形式系统 表示方法 等价原理