指向定理（或称为“指向性定理”、“箭头定理”、“箭头指向定理”等）是一种基本的逻辑原则，用于描述逻辑命题之间的关系。指向定理的表述如下：
如果A→B，那么非B→非A。
简单来说，如果命题A可以推导出命题B，那么命题B的否定可以推导出命题A的否定。这个原则也可以表述为：“如果A是B的充分条件，那么B是A的必要条件”。
指向定理的应用十分广泛，可以用于证明各种命题之间的关系，例如：
- 如果A是B的充分条件，那么B是A的必要条件。
- 如果A不是B的充分条件，那么B不是A的必要条件。
- 如果A→B，那么B→A不成立。
- 如果A→B，那么B→C→A成立，但A→C→B不一定成立。
指向定理在数学、逻辑学、计算机科学等领域都有广泛的应用。