sábado, 17 de marzo de 2012

16 MARZO 2012

La clase del día 16 sirvió para ir asimilando la forma de resolver problemas de la lógica a base de ejemplos como:
1. (p^s) -> q conclusión: q^r
2. p^r
3.s^t

1.(p^q)-> r composición: q->r
2.p

Con estas premisas había que averiguar la manera de hallar la composición mediante el uso de suposiciones.
También hemos avanzado en la materia de la lógica. El profesor explicó por encima tres nuevas reglas que el próximo día dará con ejemplos. Son las siguientes:
-Regla del Modus Tolleus (RMT) donde: x->y
¬y
--------
¬x
-Regla Silogismo disyuntivo (RSD) donde: x v y x v y
¬y ¬x
------- -------
x y
-Regla de transitividad del condicionador donde: x -> y
y -> z
-----------
x -> z

ANTONIO JIMÉNEZ LERATE

-

No hay comentarios: