Equivalencia tautológica

Equivalencia tautológica. "Cuando dos oraciones se implican tautológicamente, se dice que son tautológicamente equivalentes" según lo manifiesta Suppes.  Aunque éstas no cuentan con un papel esencial como el representado por la implicación tautológica [v], son importantes, ya que manifiestan las mismas proposiciones, enunciados o fórmulas [v. fórmulas bien formadas] con distinta formulación.

Ejemplo:

"César cruzó el Rubicón y Cervantes combatió el Lepanto".

Si el primer enunciado lo representamos con la proposición `p' y el segundo con `q', obtendremos:

                            p & q

el cual es equivalente a:

                         -(-p v -q)

"Es falso que Cesar no cruzara el Rubicón o es falso que Cervantes combatiera en Lepanto" es su interpretación. [Véase Reglas lógicas de reemplazo].