名词解释

【参考答案】

一种用树形图解的方式把逻辑推论展开的方法。