Usuario:Gwenmarley/ejercicio7

B. Teniendo en cuenta que <<X=0>> es la negación de <<X≠0>>, evitar la regla de doble negación en las deducciones siguientes.

1. Demostrar: X=0

  (1) X≠0 → X+Y≠Y              (premisa)
  (2) X+Y=Y                      (premisa)
  (3) X=0                        (modus tollens 1,2)