Implicación tautológica

Implicación tautológica.  Una oración [v] implica tautológicamente a otra si y sólo si el enunciado [v] o fórmula `p --> q' es una tautología [v].  Ejemplo:

"César cruzó el Rubicón y Cervantes combatió en Lepanto" implica tautológicamente a "Cervantes combatió en Lepanto".

si el primer enunciado es representado con `p' y el segundo con `q' obtendremos su forma lógica:

                         (p & q) --> q

la cual es una tautología. Todas las reglas lógicas de inferencia son fórmulas tautológicas.