Estudio sobre implicación lógica: modelos prácticos, modelos teóricos y claridad de las situaciones modélicas