论证图-论证分析软件推荐

waiking

软件下载地址：
http://logic.sysu.edu.cn/Soft/ShowSoft.asp?SoftID=1883

安雅雪林

有点像mindmapper。
不知道实际上会是什么用处。

门

原来是中山大学逻辑研究所出的小软件
只不过，这个玩意怎么用呢？没有说明书的么？

惟恋梧桐

不知道怎么用啊。。。。。。

waiking

软件还在设计中，现在拿出来想听听您的意见，看看对各位辩手有没有用，或者应该怎么做才有用，请指正！演示文档正在制作中，敬请关注。

herolandis

从现有内容上看起来有点像对自然语言进行谓词演算以完整模型推理的东西。等待楼主的演示文档。