La negación de la regla de disyunción se puede escribir como: