（）在验证逻辑树模型时，我们要对主干进行判断，不需要对逻辑树分支进行判断