Dado que las contradicciones son lógicamente imposibles, es lógicamente necesario aquello\[\neg(H \wedge \neg P)\] que es proposicionalmente equivalente a\[\neg H \vee P\] o, alternativamente,\[H \Rig...Dado que las contradicciones son lógicamente imposibles, es lógicamente necesario aquello\[\neg(H \wedge \neg P)\] que es proposicionalmente equivalente a\[\neg H \vee P\] o, alternativamente,\[H \Rightarrow P \text {. }\] ya que habremos demostrado que para cualquier sustitución de\(x\), el enunciado \(H \Rightarrow P\)sostiene, habremos mostrado el reclamo universal.
