Equivalente es un adjetivo que expresa algo que tiene igual valor, estimación, potencia o significado. La palabra equivalente cuando es utilizada para describir una cosa, hace referencia que la misma puede substituir a la otra debido a que posee las mismas características o significado, por ejemplo: el medicamento “X” es equivalente al medicamento “Y” posee la misma composición.

Qué es tautología:

 En lógica proposicional, una tautología es una fórmula bien formada que resulta verdadera para cualquier interpretación; es decir, para cualquier asignación de valores de verdad que se haga a sus fórmulas atómicas.​ La construcción de una tabla de verdad es un método efectivo para determinar si una fórmula cualquiera es una tautología o no.

Qué es contradicción:
En lógica, una contradicción es una incompatibilidad entre dos o más proposiciones. Por ejemplo, las oraciones «llueve y no llueve» y «ni llueve ni truena, pero llueve y truena» expresan contradicciones lógicas.

El método es bastante natural para usarse en una variedad de situaciones en la ciencia de la computación.
Podemos relacionar este poderoso principio con la analogía de las piezas de dominó: supongamos que tenemos una infinidad de piezas acomodadas, una detrás de la otra.
Ahora, si tiramos la primera, empujará a la segunda ocasionando que también caiga, esta a su vez empujará a la tercera y así sucesivamente, por lo que todas las piezas caerán.

El tirar la primer pieza es demostrar el caso base, y el demostrar si una pieza cae la siguiente también va a caer, es demostrar que .