Dada esta definición, toda contradicción es la negación de una tautología, y toda tautología es la negación de una contradicción.