En la investigación científica, si la implicación de una hipótesis es contrastada empíricamente con resultado positivo, entonces la hipótesis resulta confirmada. La forma lógica de este razonamiento se simboliza con la fórmula: [(H→I)∧I]→H. Lo anterior puede ejemplificarse así: "Si llueve torrencialmente en Lima, las calles se inundan (H → I). Las calles están inundadas (I). Por tanto, llovió torrencialmente en Lima (H)". En estricto sentido lógico, este razonamiento es
