Hoy hemos retomado la clase con lo que estuvimos viendo el día anterior, la derivación.
La derivación es el proceso que sirve para averiguar si una inferencia es formalmente válida o no. Una inferencia es una “operación lógica” que consiste en, a partir de unas premisas dadas, obtener una conclusión.

Para aclarar un poco lo que viene a ser derivación, hemos resuelto un ejemplo de dos maneras distintas:

p ^ q
r ^ t
t -> s ├ p v q *├: Derivación
_________
s v q

Para hacer una derivación hay que seguir los siguientes pasos: Primero hemos de establecer las premisas que tenemos y una vez hecho, procedemos a la resolución gracias a la ayuda de las reglas de derivación.

1ª solución:

1. p ^ q premisa
2. r ^ t premisa
3. t -> s premisa
4. q R E ^ 1
5. s v q R I v 4

2ª solución:

1. p ^ q premisa
2. r ^ t premisa
3. t -> s premisa
4. t R E ^ 2
5. s R E -> 3, 4
6. s v q R I v 5

Una derivación puede resolverse de muchas formas, cuanto más simple, mejor.

Por último, el profesor ha explicado la regla de introducción del doble condicionador:

R I <->

X -> Y
y -> X
________
X <-> Y

Sólo en el condicionador, el orden de los factores SÍ altera el producto, mientras que en el resto de las conectivas, no.





Mónica Zhang Sun.