# Backward Chaining

> 从目标（结论）出发，逆向寻找支持该结论的前提条件，递归追溯直到找到已知事实

- ID: m12472
- Category: structure
- Domain: 逻辑学

## Definition

从目标（结论）出发，逆向寻找支持该结论的前提条件，递归追溯直到找到已知事实。涵盖变体：逆向链接、逆向逻辑链、逆向逻辑锚点、逆向推导、逆向推导法、逆向推理、逆向推演、逆向回溯脚手架作用：目标驱动的推理。不盲目搜索，而是从"我想证明什么"出发，只查找相关前提，提升推理效率。

## How it works

从结论出发，反向链接所需前提，直到与已知事实相接。

## Practice

设目标为结论，逐层问“要成立需什么”。

## Use

目标驱动的推理。不盲目搜索，而是从"我想证明什么"出发，只查找相关前提，提升推理效率。

[Read the web page](https://thinkingmodels.site/en/entries/detail/m12472)