Dado que las contradicciones son lógicamente imposibles, es lógicamente necesario aquello¬(H∧¬P) que es proposicionalmente equivalente a¬H∨P o, alternativamente,\[H \Rig...Dado que las contradicciones son lógicamente imposibles, es lógicamente necesario aquello¬(H∧¬P) que es proposicionalmente equivalente a¬H∨P o, alternativamente,H⇒P. ya que habremos demostrado que para cualquier sustitución dex, el enunciado H⇒Psostiene, habremos mostrado el reclamo universal.
