El profesor ha comenzado la clase resolviendo dudas sobre la ficha que nos encargo hacer durante el día anterior debido a que el se ausentaba. Ficha que nos servirá para repasar las reglas básicas de derivación.
Hoy hemos terminado de explicar las tres reglas básicas que faltaban(RI -> , RI¬, RE v)
En estos tres tipos tenemos el consecuente. Falta el antecedente. Por lo que abrimos una hipótesis con el antecedente que nos falta y seguimos el procedimiento general para llegar a la conclusión.
Os adjunto los ejemplos que hemos visto esta mañana, por si no habéis podido copiarlos, para que practiquéis en casa.
a) 1. p^r conclusión: t ->¬s
2. q ^ s
3. q -> ¬s
b) 1. p v r conclusión: ¬q
2. p->t
3. r->t
4. (t v s) -> ¬q
c) 1. p^r conclusión: ¬q
2. p->t
3. r-> ¬t
Estudiad!!!!
LIDIA HORMIGO RODRÍGUEZ
No hay comentarios:
Publicar un comentario