Esta norma permite eliminar una disyunción - el "o" - de una demostración lógica.