形式逻辑就是研究怎么把道理说清楚，比如说三段论啊，就是A大前提B中前提C小结论这种结构。它就像搭积木一样，先把规则定好再拼道理。逻辑关系就是这些积木之间的连接方式，比如A推出B，B推出C，推出D，中间不能乱来。

比如说亚里士多德在《工具论》里讲过三段论，有四种基本形式，分成大前提、小前提和结论。现在电脑用逻辑电路来处理问题，就是按照这种规则转来转去。去年有个研究说，形式逻辑的推理错误率比普通人低30%，因为规则固定了。就像搭积木，按照说明书来搭不会倒，但自己乱搭可能中间哪块不接就散架了。数据来源是大前年《逻辑与科学》期刊，说形式逻辑训练能减少50%的日常推理失误。