“或然性推理”的對稱。從真前提能夠必然地推出真結論的推理。包括：各種直接推理，三段論，關係推理，假言推理，選言推理，完全歸納推理，科學歸納推理。