Abstract
Las presentaciones más comunes de los procesos de inferencia lógica suelen basarse en la presencia de una implicación y de una regla de inferencia asociada con ella. No sólo puede observarse esto en los sistemas axiomáticos, sino también por ejemplo en el mecanismo inferencia! empleado en algunas variedades de "sistemas expertos", que intentan, al menos, representar formas de inferencia menos rigurosas.