Hoy en clase hemos seguido con la explicación del cálculo deductivo. Han salido varias personas a la pizarra como durante estos días y hemos realizado más ejemplos sobre lo mismo, para poder ir practicando. Nos recuerda el profesor, y es imprescindible, que tengamos en un folio en limpio y hecho a mano personalmente todas las reglas que hemos visto y vamos a ir viendo a lo largo de las clases para facilitar la realización de los ejercicios. Así mismo esa hoja también podemos utilizarla en el examen, pero os recuerdo que debe de estar hecha a mano y por sí mismo, no copiada de otro compañero.
Los ejemplos que hemos visto hoy en clase son los siguiente, por si alguno faltó o los quiere repasar:
p --> q ]-- (p ^ r) --> t
r --> s
(s ^ q) --> t
-p -- > q ]-- -p --> r
q --> r
(p ^ q) --> r ] q --> r
p
r --> p ] p ^ q
r --> q
r ^ t
Blanca de la Puerta Castro
No hay comentarios:
Publicar un comentario