Proposicional educción Natural Proposicional - 1 Justificación de la validez del razonamiento? os maneras diferentes de justificar Justificar que la veracidad de las hipótesis implica la veracidad de la conclusión (Justificación semántica: Γ = β) ar una demostración que pruebe a la conclusión a partir de las hipótesis, a través de pasos debidamente justificados (Justificación sintáctica: Γ β) Proposicional - 2 1
Justificación Sintáctica ar una demostración que: pruebe la conclusión a partir de las hipótesis esté constituida de pasos debidamente justificados Una demostración es una prueba formal: la corrección de la demostración depende de su forma y no del significado existen reglas precisas de construcción para las demostraciones Proposicional - 3 Pruebas Formales Cómo probamos usualmente? hipótesis iniciales (las podemos usar como dato en todo instante de la prueba) La prueba consiste de un encadenamiento de pasos simples de deducción que nos permite llegar a la conclusión Por qué pruebas formales? Podemos compilar las pruebas hechas, y asegurar su corrección o detectar errores mediante el análisis de su estructura Proposicional - 4 2
Formalización del razonamiento Existen varias maneras de formalizar el razonamiento: - Método Axiomático (a la Hilbert) - educción Natural (Gentzen) - otros.. En educción Natural se formalizan las demostraciones mediante árboles, siguiendo la estructura de las mismas: Proposicional - 5 Prueba Formal Ejemplo β γ, β γ β β γ β γ β γ (1) (I ) (E ) (I ) (1) Proposicional - 6 3
educción Natural Reglas de construcción de pruebas Indican cómo: subdividir la prueba en subpruebas más simples manejar las hipótesis correctamente en cada etapa de la prueba El análisis de corrección de una prueba formal puede mecanizarse (existen asistentes y verificadores automáticos de pruebas) Proposicional - 7 Pruebas = Árboles Las hojas son las hipótesis de la prueba La raíz es la conclusión de la prueba e las hojas hacia la raíz se pasa por aplicación de alguna de las reglas de construcción Las hipótesis locales a subpartes de una prueba se representan con hojas tachadas Proposicional - 8 4
Reglas de Construcción de Pruebas Para cada conectivo se definen: Reglas de Introducción indican cómo probar una fórmula con el conectivo correspondiente Reglas de Eliminación indican cómo utilizar una fórmula con el conectivo en una demostración Proposicional - 9 Cómo probar una conjunción? H) δ 1. δ n T) ( β) em. - Probamos. (usamos δ 1 δ n ) - Probamos β. (usamos δ 1 δ n ) Luego ( β) δ 1. δ n β δ 1. δ n β (I ) Proposicional - 10 5
Cómo probar un implica? H) δ 1. δ n T) ( β) em. Supongamos (usamos δ 1 δ n.) entonces β. Luego ( β) δ 1 δ n β β (I ) Proposicional - 11 Cómo probar una disyunción? (I) H) δ 1. δ n T) ( β) em. - Probamos. (usamos δ 1 δ n ) Luego ( β) δ 1. δ n β δ 1. δ n β β (I 1 ) (I 2 ) Proposicional - 12 6
Cómo probar un si sólo si? H) δ 1. δ n T) )( β) em. ) Supongamos. (usamos δ 1 δ n.) entonces β. ) Supongamos β. (usamos δ 1 δ n β.) entonces. δ 1 δ n δ 1 δ n β β β (I ) Luego β. Proposicional - 13 Cómo probar una negación? H) δ 1. δ n T) em. -Supongamos -Llegamos al absurdo (usamos δ 1 δ n ) δ 1 δ n ( I ) Luego. Proposicional - 14 7
Cómo utilizar una conjunción? (I) H) δ 1. δ n T) em. - Probamos ( β) (usamos δ 1 δ n ) Luego δ 1 δ n. β δ 1 δ n. β β (E 1 ) (E 2 ) Proposicional - 15 Cómo utilizar una implicancia? H) δ 1. δ n T) β em. - Probamos ( β) (usamos δ 1 δ n ) - Probamos (usamos δ 1 δ n ) δ 1. δ n β δ 1. δ n Luego β β (E ) Proposicional - 16 8
Cómo utilizar una disyunción? H) δ 1. δ n T) δ em. - Probamos β (usamos δ 1 δ n ) - Caso1: supongamos. (usamos δ 1 δ n ) entonces δ - Caso 2: supongamos β. (usamos δ 1 δ n β ) entonces δ δ 1. δ n β δ 1. δ n δ δ δ 1. δ n β δ (E ) Luego δ Proposicional - 17 Cómo utilizar un si y sólo si? (I) H) δ 1. δ n T) β em. - Probamos si y sólo si β. (usamos δ 1 δ n ) δ 1. δ n β β δ 1. δ n (E 1 ) - Probamos. (usamos δ 1 δ n ) Luego β. δ 1. δ n β δ 1. δ n β (E 1 ) Proposicional - 18 9
Cómo utilizar una negación? (las negaciones sirven para llegar al Absurdo) H) δ 1. δ n T) Absurdo em. - Probamos (usamos δ 1 δ n ) - Probamos (usamos δ 1 δ n ) δ 1 δ n δ 1 δ n ( E ) Luego Absurdo. Proposicional - 19 Cómo utilizar el Absurdo? (I) H) δ 1. δ n T) em. Probamos Absurdo (usamos δ 1 δ n ) Luego. δ 1 δ n. (E ) Proposicional - 20 10
Cómo utilizar el Absurdo? (II) H) δ 1. δ n T) em. - Supongamos - Llegamos al absurdo (usamos δ 1 δ n ) Luego. δ 1 δ n (RAA ) (Reducción al absurdo) Proposicional - 21 Una prueba trivial H) T) em. vale por hipótesis Luego. (HIP) (Hipótesis) Proposicional - 22 11
Prueba Formal Estructura de árbol: la prueba se descompone en subpruebas (subárboles) Reglas precisas para la construcción de los árboles Hipótesis de la prueba: hojas del árbol las del enunciado inicial: hojas no tachadas hipótesis locales: hojas tachadas Conclusión: raíz del árbol Proposicional - 23 Prueba Formal - Ejemplo β β β β (1) (1) (E ) β β β β (E ) (I ) (I ) (1) Proposicional - 24 12
Prueba Formal Ejemplo (II) β γ, β γ β β γ β γ β γ (1) (I ) (E ) (I ) (1) Proposicional - 25 Árboles Las derivaciones se definen inductivamente sobre un conjunto de árboles etiquetados Cada nodo, interno u hoja, se etiqueta con una fórmula proposicional y una regla Las hojas pueden estar marcadas o no (Cancelación de hipótesis) Proposicional - 26 13
Prueba Formal Ejemplo (II) β β γ β γ β γ (1) (I ) (E ) (I ) (1) β γ, HIP, HIP γ E β I β, HIP β γ I Proposicional - 27 erivaciones - ER ef 1.5.1 [ER] El conjunto ER de las derivaciones de la lógica proposicional se define inductivamente como sigue: HIP) Si PROP entonces ER ER ψ ER I ) Si y entonces ψ ER ψ E1 ) Si ER entonces ψ ER ψ E2 ) Si ER ψ entonces ψ ψ ER Proposicional - 28 14
erivaciones - ER I ) Si ψ ER entonces ψ ψ ER E ) Si y entonces ER ψ ER ψ ER ψ Proposicional - 29 erivaciones - ER I1 ) Si ER entonces ψ ER I2 ) Si ER entonces ψ ER ψ ψ ψ E ) Si ER y entonces γ γ ER ψ ER, ψ ψ γ γ ER γ Proposicional - 30 15
ψ ψ I ) Si ψ ER y ER entonces ψ ψ ER E1 ) Si y ER ψ ER entonces ψ ER E2 ) Si ψ y entonces ψ ER ψ ER ψ ψ ER erivaciones - ER Proposicional - 31 erivaciones - ER I ) Si ER entonces ER E ) Si ER y ER entonces ER Proposicional - 32 16
erivaciones - ER E ) Si ER y PROP entonces ER RAA) Si entonces ER ER Proposicional - 33 Conclusión e hipótesis ef [conclusión e hipótesis de una derivación] Sea ER. C() es la conclusión de H() es el conjunto de hipótesis no canceladas de Ejercicio: efinir C() y H() por recursión en, asumiendo que se cancelan todas las hipótesis en las reglas que se aplican. Proposicional - 34 17
ef 1.5.2 Consecuencia Sintáctica [consecuencia sintáctica] Sea Γ PROP y PROP. es consecuencia sintáctica de Γ (o se deriva de Γ) ssi existe ER tal que: C() = y H() Γ Notación: Γ se lee se deriva de Γ se lee es teorema y se escribe ef [CONS, consecuencias sintácticas] ado Γ PROP, el conjunto de las consecuencias sintácticas Γ es CONS(Γ) ={ PROP Γ } de Proposicional - 35 erivaciones - Ejemplo (2) (1) (E ) (RAA) (1) (I ) (2) Proposicional - 36 18
erivaciones Ejemplo (II) (2) (1) (E ) (I ) (1) (I ) (2) Proposicional - 37 Propiedades de, y Lema 1.5.3 Para todos, β PROP y Γ, PROP : Si Γ entonces Γ Si Γ y β entonces Γ β Si Γ β entonces Γ y Γ β Si Γ, β entonces Γ β Si Γ y β entonces Γ β Si Γ entonces Γ Si Γ, entonces Γ Proposicional - 38 19
Propiedades de,, Lema 1.7.2 Para todos, β PROP y Γ, PROP : 1. Si Γ entonces Γ β 2. Si Γ β entonces Γ β 3. Si Γ, γ y Γ, β γ entonces Γ, ( β) γ 4. Si Γ, β y Γ, β entonces Γ ( β) 5. Si Γ ( β) entonces Γ, β y Γ, β 6. Si Γ, entonces Γ 7. Si Γ y entonces Γ Proposicional - 39 Equivalencias entre conectivos Teorema 1.7.3 Para todos, β Prop: ( ) ( ) ( β) ( β) ( β) ( β) (β ) ( β) ( β) ( β) ( β) ( ) Proposicional - 40 20
Más Propiedades Teorema 1.5.4 (β ) ( β ) ( β) ( (β σ ) ( σ ) ) ( β ) ( β ) (β σ ) ( β σ ) ( ) Propiedades interesantes de Si Γ y Γ, entonces Si Γ, entonces existe Γ tal que es finito y Si Γ δ para toda δ y, entonces Γ Proposicional - 41 21