Next: La regla de inferencia
Up: No Title
Previous: Completitud y decidibilidad
- procedimiento de inferencia completo y sano (sound) para FOL
- mas potente que Modus Ponens, permite derivar implicaciones
Alvaro Barreiro Garcia
Thu Jul 18 18:35:01 MET DST 1996