学证明中使用的论证的情况。注意严格的证明不必须是形式证明。在平常语言中，人们提及论证的逻辑，或使用暗示了一个论证是基于形式逻辑的推理规则的术语。尽管论证确可使用无可争议的纯逻辑推论（比如三段论），在实际论证中几乎总是使用其他种类的推论。例如，常处理因果关系、或然性和统计或更特殊化的领域如经济学的论证。在这些情况下，逻辑指称论证的结构而不是可以用在其中的纯逻辑的原理。