No se ha añadido ninguna twiki todavía.

Aquella forma de inferencia que, en las premisas, afirma «Todos los A observados son B» y, en la conclusión, «Por tanto, todos los A son B». O también: «Si un m/n de A observados son B, entonces (inductivamente) un m/n de A son B».