next up previous
Next: Tratamiento de la igualdad: Up: Resolución: un procedimiento de Previous: Conversión a forma normal

Ejemplo del procedimiento de conversión y de la prueba por refutación

tex2html_wrap_inline479


Alvaro Barreiro Garcia
Thu Jul 18 18:35:01 MET DST 1996