Hola compañerxs, ando leyendo el tema referido a la deducción natural en el libro "Formas lógicas", y aunque entiendo las reglas básicas, soy incapaz de realizar bien ni una sola demostración de argumento con este modo, pues no llego a entender cómo llevarlas a la práctica.
No sé cuando he de emplear el "supuesto auxiliar" y quisiera preguntaros si conocéis algún libro en el que esto esté explicado más detalladamente.
Gracias

Te recomiendo encarecidamente que preguntes tus dudas en el foro de la asignatura, pues los profesores son muy atentos.

Por otra parte, el libro de Deaño me parece de los mejores, y sumado al formas lógicas para los árboles, son todo lo que necesitas, en mi opinión.

Si se te atascan las deducciones, te recomiendo que sigas practicando hasta que les pilles el truco. Si quieres pouedes poner algún ejemplo y desde aquí te ayudaremos a resolverlos.

En el caso de los supuestos, siempre tienes que tener en la cabeza para qué lo quieres introducir. Por ejemplo, para eliminar una disyunción, introducir un condicional, o introducir una negación. Igualmente, una vez abres un supuesto, sólo hay determinadas formas de cerrarlo, que son precisamente esas reglas.

Ánimo, y si necesitas cualquier cosa ya sabes. Eso sí, aprovecha que en esta asignatura los profesores se portan muy bien.

Si no recuerdo mal en el libro de Formas lógicas hay una sección titulada "Estrategias de deducción" donde se explica lo que tginer pregunta.

Por otro lado, a la hora de buscar estrategias tienes que fijarte en primer lugar en la forma de la conclusión. Es la conclusión la que te va a decir qué estrategias tomar.

Está todo explicado en Deaño y Formas lógicas.

De todas formas, te recomiendo, Tiger, que te hagas con los libros de la editorial Nau:

Lógica I

Lógica II

Están llenos de ejercicios resueltos y propuestos con solución.

A mí un libro que me ayudó mucho en Lógica I fue este, que está descatalogado, pero que se encuentra accesible en bibliotecas.

Y el otro día descubrí en la biblioteca uno mucho mejor. Está agotado, para variar. Son dos volúmenes, uno de teoría y otro de problemas resueltos y propuestos con solución. Está redactado en forma de manual.

De todas formas el equipo docente es bastante atento. Te recomiendo que hagas los exámenes que el equipo docente propone para su realización.

Sabeis si a un supuesto se le puede aplicar la regla de interdefinibilidad?

A un supuesto le puedes aplicar todas las reglas que quieras. Lo que no debes olvidar es que hay que acabar cancelando el supuesto.
Un saludo.