Avances en la Lógica

Al inicio de la clase Isabel dijo que al subir los ejercicios al blog se produció un error y salieron distorsionados. El profesor aconsejó que ya que no subiéramos los ejercicios ya que podrían producirse confusiones, él los subiría a la plataforma Elvia.

A continuación hablamos sobre el caso policiaco que había que formalizar pero nadie consiguió.

Rafael dió dos pistas pistas para ello:

1ª Proposición: Siemen es el asesino.

2ª Proposición: Siemen estaba en la casa del crimen a la hora del crimen.

A partir de las proposiciones se comenzaría con las relaciones.

A continuación repasamos las reglas vista el día anterior, que son:

Regla de Modus Tollens:

X -> Y

¬Y

...............

¬X

-Si se da "X", se da Y. No se da "Y", por lo tanto no se da "X".

Regla de Transitividad del condicionador:

X -> Y

Y -> Z

..............

X -> Z

-Si se da "X", se da "Y". Si se da "Y", se da "Z". Por lo tanto si se "X", se da "Z".

Una vez repasadas las reglas vistas anteriormente comenzamos con nuevas reglas:

Regla de Silogismo disyuntivo:

"X" e "Y". No "X", por lo tanto "Y".

Podemos utilizar esta regla para no tener que recurrir a la de eliminación del condicionador.

Regla de Contraposición del condicionador:

X -> Y

...............

¬Y -> ¬X

-Si se da "X", se da "Y". No se da "Y", por lo tanto no se da "X"

A partir de aquí entramos en un nuevo punto con las reglas de Interdefinición. Estas sirven para expresar una determinada relación en términos de otra relación.

Ley de Morgan:

¬(X^Y)

.................

¬X v ¬Y

El profesor explicó que debemos utilizar cada regla estudiada según nos convenga, cuantas más sepamos menos problemas tendremos al formalizar.

A continuación María Dolores hizo un ejemplo en la pizarra sobre las reglas de interdefinición.

Darko Morandini Clapes