易经逻辑的形式演绎系统

• Formal deductive system in the Book of Yi