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:
Publicar un comentario