(del griego νόμος, nómos, ley, y λόγος, logos, tratado o razonamiento)
El esquema lógico que poseen las explicaciones científicas llamadas nomológico-deductivas, según el modelo de C.G. Hempel y P. Oppenheim
[math] \forall{x} (Fx \rightarrow{Gx})[/math]
[math]Fa[/math]
______________
[math]Ga[/math]
donde las premisas están constituidas por una genuina generalización que relaciona dos condiciones o dos fenómenos (F y G), y la efectiva presentación de una de estas condiciones. La lógica del modus ponens permite la deducción de la segunda de las condiciones enlazadas por la ley o la generalización.