虽然形式逻辑本身有一套形式化的符号系统可以描述. 但图形化更直观(比如顺序执行的代码总是可以转换为流程图).
已有的比如: 欧拉图 能描述包含关系、整体部分关系.
是否已经有大牛造了类似的轮子?
类似地 : 最近看到铁路图,感觉这东西用来描述形式化的语法,一目了然. 比如运算表达式:
Select Language