Hoy día 28 de Enero hemos comenzado la clase preguntando las dudas que teníamos sobre la lógica y hemos repasado la enumeración de los conectores que utilizamos en los enunciados de la lógica para calcular la tabla de verdad.

Hemos comenzado a a ver el Cálculo de Deducción Natural (CDN), nos permite transformar el enunciado formal a otros enunciados.

Se utiliza para desarrollar una actividad básica que llamamos derivación, su signo es el siguiente: |-

En una derivación nos vamos a encontrar siempre premisas y una conclusión sacada a partir de las premisas. Una derivación tiene tres partes, la enumeración de cada línea de premisas, el enunciado y comentario acerca de donde viene el enunciado que hemos puesto.

Se puede separar cualquier enunciado siempre que tenga un conjuntor, se pueden separar mediante la regla de eliminación del conjuntor en el enunciado que queremos separar.


José Antonio García Alcalá