PRUEBA FORMAL DE INVALIDEZ.

Se trata de una demostración indirecta por reducción al absurdo. Si la conclusión tiene valor 0, es falsa, y las premisas pueden tener valor 1, el razonamiento es inválido.