Lgica I (curso 2007-08) Prof.

Paloma Prez-Ilzarbe

Tema 4.1. Sintaxis de LP

Objetivos: - Conocer los smbolos del lenguaje LP y sus nombres. - Comprender el mecanismo de generacin de frmulas bien formadas de LP mediante sus reglas de formacin. - Saber generar fbfs de LP y saber reconocer si una expresin dada es o no una fbf de LP. - Conocer el vocabulario especfico para hablar de las fbfs de LP y sus componentes: frmula atmica, frmula molecular o compuesta, grado de una frmula, conectiva principal de una frmula. - Reconocer la importancia de que las frmulas de LP no tengan ambigedad sintctica. - Conocer y comprender las nociones de rbol genealgico y subfrmula. - Saber construir el rbol genealgico de una frmula dada, y saber reconocer sus subfrmulas. - Comprender el procedimiento inductivo de definicin y su utilidad para demostrar propiedades de todas las frmulas de LP. Dnde encontrar el tema: Captulo 6 del manual de Badesa-Jan-Jansana. Resumen de los contenidos: El lenguaje LP se puede definir dando su alfabeto (letras proposicionales y conectivas, ms ciertos smbolos auxiliares) y sus reglas de formacin (ver cuadro Lenguaje LP). Las frmulas de LP tienen una serie de propiedades puramente estructurales, independientes de que se d un contenido u otro a los smbolos de LP. Por ejemplo, simplemente mirando la estructura de una frmula podemos decir si es atmica o molecular, cul es su conectiva principal, si la frmula es una negacin, una conjuncin, una disyuncin o un condicional, y cul es su grado. Hay una propiedad sintctica muy importante que tienen todas las frmulas de LP: la ausencia de ambigedad estructural. Cada cadena de smbolos de LP tiene una nica estructura, es decir, no puede ser leda de dos maneras distintas. Esto es as porque las reglas de formacin de LP cumplen las dos condiciones siguientes: a) si se aplica una misma regla a frmulas distintas se obtienen frmulas distintas; b) ninguna frmula puede obtenerse aplicando varias reglas distintas. Se puede representar grficamente el proceso de construccin de una frmula mediante su rbol genealgico, en el que aparecen todas las subfrmulas de esa frmula. El conjunto de las frmulas de LP puede definirse mediante una definicin inductiva. La ventaja principal de este tipo de definicin es que permite utilizar un tipo de prueba (demostracin inductiva) para demostrar propiedades acerca de todas las frmulas de LP. Bibliografa complementaria: Jos Luis Zalabardo, Introduccin a la teora de la lgica, Alianza, Madrid, 2002: secciones 2 y 3 del captulo 2. Trabajo fuera de clase: No obligatorio: cuestionario de autoevaluacin en el Examinador de Adi. Tambin se pueden hacer los ejercicios del manual.