domingo, 7 de diciembre de 2008
viernes, 5 de diciembre de 2008
BLOQUE III: SISTEMAS DE DEDUCCIÓN
Se repartió los exámenes y empezamos el bloque 3.
DEDUCCIÓN NATURAL
DN: reglas de inferencia + premisas = conclusión.
- Método directo para probar la validez de argumentos. (de las premisas “vamos” a la conclusión)
- Construye una Deducción formal o derivación formada por secuencia finita de fbf en donde una de ellas es la conclusión.
- El método selecciona una regla de inferencia con la que se obtiene una nueva fbf a partir de otras.
- El proceso finaliza cuando la fbf es la conclusión.
REALIZAR LA DEDUCCIÓN
Escribimos las fbf en líneas numeradas:
- Premisas (identificarlas).
- Aplicamos reglas de inferencia a fbf para obtener nuevas fbf.
- Comentarios a fbf nuevas:
· la regla de inferencia aplicada
· nº de línea de fbf a las que se aplica.
- Señalar subdeducciones (supuestos Provisionales).
Ejercicios realizados en clase: EJERCICIOS
