Next: Conversión a forma normal
Up: Resolución: un procedimiento de
Previous: Formas canónicas
- Puede usarse resolución en encadenamiento hacia delante y hacia atrás
- resolvente: conclusión de la resolución de dos sentencias
- prueba por refutación (es completa): queremos probar P
Alvaro Barreiro Garcia
Thu Jul 18 18:35:01 MET DST 1996