证实推理模式和不证实推理模式。

证实推理模式和不证实推理模式。都是常见的推理模式，正式推理是指如果理论a可以得出猜想，B那么猜想B为真，则理论a大概率是为真的，不正式推理。是指如果在理论C可以得出猜想D，但D如果不为真则理论，C也不为真，这个其实就是科学中常说的可证伪性，也只有具备可证伪性的科学才能被称之为科学。因为在科学理论而言，不管有多少可以被证明其正确性的证据，这个理论是错误的，这种可能性始终存在。

证实推力是一种归纳推理，而不证实推力则是一种演绎推理换句话可以认为。归纳推理是从特殊到一般而演绎推理则是从一般到特殊。