Esto te da una idea de lo que debería suceder justo antes de la última línea de la prueba. Si tienesxA y pretendes usar la regla E, entonces debes asumirA [c|x]...Esto te da una idea de lo que debería suceder justo antes de la última línea de la prueba. Si tienesxA y pretendes usar la regla E, entonces debes asumirA [c|x] para algunosc que no está en uso y luego derivar una conclusión que no contienec. Una prueba larga es formalmente solo una serie de pruebas cortas unidas entre sí, por lo que puede llenar la brecha trabajando alternativamente desde la conclusión y hacia adelante desde las premisas.
