| 前进回溯推理 progressive retrospective reasoning 亦称“前进溯原推理”。从假定成立的命题出发，推出逻辑推断的回溯推理。与“后退回溯推理”相对。它的推理形式是：假定p;并且“如果p，那么q”;所以q。p是一个待证的命题，从假定p命题为真出发，通过“如果p，那么q”，推出q。而q是已知为真的事实命题或可以为实践证实的命题。这种推理一般用于从假设推出它的逻辑推断。例如：p表示“任何大于2的偶数可表示为两素数之和”，我们假定这一哥德巴赫猜想为真，则根据“如果p那么q”，就可推得q1——4可表示为两素数之和，q2——6可表示为两素数之和，q3——8可表示为两素数之和……。而q1、q2、q3……都是已知为真的事实命题或可以为实践证实的命题。 |