¿Cómo se aplica?
Para escribir la negación de un enunciado se abre una subdeducción encabezada por éste y se obtiene, dentro de la subdeducción, una pareja formada por un enunciado y su negación. Una vez obtenida esta pareja, la negación del enunciado que encabezaba la subdeducción se puede escribir fuera del ámbito de ésta.
La pareja formada por un enunciado y su negación se denomina contradicción. Las contradicciones se consideran algo insostenible. Cuando una hipótesis conduce a la aparición de una contradicción esta hipótesis se hace insostenible y se pasa a afirmar (escribir) su negación.
Se suele comentar a la derecha de con el siguiente símbolo **I﹁ y seguidamente la enumeración separado por comas de los enunciados implicados