Notas de L ogica. Primera Parte.

Introducci on y L ogica Proposicional

Rodolfo Ertola Primer Semestre 2011

Este escrito est a destinado exclusivamente a los estudiantes del curso correspondiente para complementar las clases.

Abreviaturas
Expresi on Signicado def ej e.g. eq ent i.e. not prop pt sat sii sup teo tq val denici on ejemplo, ejercicio exempli gratia (por ejemplo) equivalente entonces id est (ello es, es decir) notaci on proposici on para todo/a satisfactible si y s olo si supuesto teorema tal que/tales que valuaci on

 INTRODUCCION
Sea P un conjunto de proposiciones y sea c una proposici on. Se dice que c se deduce de P sii no es posible que las proposiciones de P sean todas verdaderas y c sea falsa. Sea P un conjunto de proposiciones. Se dice que P es contradictorio sii no es posible que las proposiciones de P sean todas verdaderas. Se dice que P es satisfactible sii es posible que las proposiciones de P sean todas verdaderas. Se dice que P es completo sii para toda proposici on c en el lenguaje de P, se tiene que c o su negaci on se deduce de P. Sea c una proposici on. Se dice que c es contradictoria sii no es posible que c sea verdadera. Se dice que c es contingente sii es posible que c sea verdadera y es posible que c sea falsa. Se dice que c es satisfactible sii es posible que c sea verdadera. Se dice que c es tautol ogica sii no es posible que c sea falsa. Sean c y d proposiciones. Se dice que c equivale a d sii se deducen mutuamente. Ejercicio. Descubrir se razonando. Identicar premisas y conclusiones. Preguntar se si las conclusiones se deducen de las premisas.

Problemas
1. Hay cinco sombreros, tres blancos y dos negros. Hay tres individuos que llamaremos N, T y C. Cada una tiene uno de los cinco sombreros en su cabeza, lo cual todos saben. Ocurre que N puede ver el color del sombrero de T y C, pero no el color de su propio sombrero. Adem as, T puede ver el color del sombrero de C, pero ni el propio ni el de N. Finalmente, C no puede ver el color de ning un sombrero. En primer lugar, le preguntan a N si puede deducir cu al es el color de su sombrero. Despu es de mirar los sombreros de T y C y pensar un poco, responde que no. En segundo lugar, le preguntan lo mismo a T, quien mira el sombrero de C, tiene en cuenta la respuesta de N, piensa un poco y tambi en responde que no. Finalmente, le hacen la misma pregunta a C, quien est a al tanto de la situaci on, recuerda las dos respuestas anteriores y responde que s . Cu al es el color del sombrero de C ? 2. Hay tres recipientes con capacidades de 8, 5 y 3 litros. El primero est a lleno con agua y los otros dos vac os. Se quieren dividir los ocho litros de agua en dos partes iguales. Se puede vaciar o llenar un recipiente. 3. Hay tres pares de bolillas que anotaremos con bb, bn y nn. Adem as, hay tres cajas etiquetadas falsamente con BB, BN y NN. Se quiere identicar el contenido de las tres cajas. Se puede extraer a lo sumo una bolilla de una caja. 3

4. Hay ocho monedas, todas del mismo peso con excepci on de posiblemente una. Se pueden realizar a lo sumo dos pesadas en una balanza de dos platos, la cual en cada pesada a lo sumo indica si los dos platos pesan igual o no. Se quiere decidir si hay una moneda m as liviana y en tal caso identicarla. 5. Cuatro hombres (H, I, J, K ) quieren cruzar un puente colgante para lo cual precisan una linterna. Pueden cruzar de a uno o de a dos. Si van de a dos, tardan el que m as tarda. El hombre H tarda un minuto, I tarda 2 minutos, J tarda 5 minutos y K tarda 10 minutos. El objetivo es que crucen todos tardando a lo sumo 17 minutos. 6. (i) Dos parejas desean cruzar un r o con un bote que tiene capacidad m axima para dos individuos. Pero los hombres son celosos, es decir, hay que evitar que una mujer quede junto con el hombre de la otra pareja si su propio hombre no est a presente. (ii) Idem con tres parejas. (iii) Observar que con cuatro parejas no hay soluci on. 7. Tres misioneros y tres can bales desean cruzar un r o. Disponen de un bote para dos personas. Ahora bien, si en alg un momento quedan m as can bales que misioneros en alg un lugar, los can bales se pueden comer a los misioneros. C omo pueden cruzar evitando esto? 8. (i) Se tiene una la de ocho monedas. Se quiere que queden apiladas de a dos, es decir, en cuatro las. Se pueden hacer s olo cuatro movidas, cada una de las cuales consiste en saltar exacatamente dos monedas, sea que est en separadas o apiladas. (ii) Idem con cualquier n umero par mayor que 8. (iii) Observar que con 2, 4 o 6 monedas no hay soluci on. 9. Hay una c atedra con dos tipos de personas, los profesores, que siempre dicen la falsedad y los auxiliares, que siempre dicen la verdad. (i) A: B : A dijo ser profesor. C : B es profesor. Qu e son B y C ? (ii) A: Uno de nosotros es profesor. B: Qu e son A y B ? 4

(iii) A: A lo sumo uno de nosotros es auxiliar. B: Qu e son A y B ? (iv) A: Todos somos profesores. B : Uno y s olo uno de nosotros es auxiliar. C: Qu e son A, B y C ? (v) A: B es profesor. B : A y C son del mismo tipo. C: Qu e es C ? Son A y B del mismo tipo? (vi) A: B : A dijo que hay uno y s olo un auxiliar entre nosotros. C : B es profesor. Qu e son B y C ? 10. Idem al anterior, pero agregando a los estudiantes, quienes pueden decir la verdad o la falsedad. (i) A: B es auxiliar. B : A no es auxiliar. Demostrar que 1) B dice la verdad y 2) Hay un estudiante que dice la verdad. (ii) En este caso suponemos que hay exactamente un profesor, un estudiante y un auxiliar. A: Soy estudiante. B : A dijo la verdad. C : No soy estudiante. Qu e son A, B y C ?

 LOGICA PROPOSICIONAL Lenguaje

Vocabulario
Consta de los siguientes s mbolos: letras proposicionales p, q , r, . . . ; conectivos: , , , , y ; par entesis izquierdo y derecho: ( y ). Todo conectivo tiene una aridad (o n umero de argumentos), que es 0, 1 o 2; respectivamente, diremos que el conectivo es 0ario, unario o binario. Las letras proposicionales representan proposiciones, los conectivos representan los conceptos que aparecen en la tabla siguiente y los par entesis se usan como signos de puntuaci on para evitar ambig uedad.

Tabla de los Conectivos

S mbolo Nombre Conjunci on Disyunci on Condicional Bicondicional Negaci on Absurdo Traducci on y o si, ent si y s olo si no absurdo Aridad 2 2 2 2 1 0

F ormulas y Conceptos Asociados

Denici on 1. Una expresi on es una sucesi on nita de s mbolos del vocabulario. Ejemplo 1. p, (p q , p, (p), p q . ormula. Denici on 2. (recursiva) de f (i) Las letras proposicionales son f ormulas; (i) es una f ormula; (ii) Si es una f ormula, entonces es una f ormula; (iii) Si y son f ormulas, entonces ( ), ( ), ( ) y ( ) son f ormulas; (iv) S olo las expresiones que se pueden obtener con las cl ausulas (i)-(iii) son f ormulas. 6

Notaci on 1. Se usan las letras , , y (min usculas del alfabeto griego que se llaman, respectivamente, , ji, psi y omega), a veces con sub ndices, como variables de f ormulas, i.e. como letras que se reeren a f ormulas cualesquiera (del modo habitual en matem atica, variables diferentes pueden hacer referencia a la misma f ormula). Se usan las letras y (i.e. la gamma y la delta may uscula del alfabeto griego) para hacer referencia a un conjunto cualquiera de f ormulas. Los s mbolos { y } se usan de la manera habitual en matem atica para indicar conjuntos. Adem as, los s mbolos , , y denotan, respectivamente, la relaci on de pertenencia, el conjunto vac o, la relaci on de inclusi on entre conjuntos y la operaci on de uni on entre conjuntos. Finalmente, anotamos con F al conjunto de f ormulas de la l ogica proposicional. Convenci on 1. Se omiten los par entesis externos de las f ormulas. Por ejemplo, se escribe p q en lugar de (p q ). Ejemplo 2. Usando la convenci on 1, las siguientes expresiones son f ormulas: p, q , , p, q , , p, pq , pq , p q , p q , (pq ) r, p (q r), q p y (q p) (p q ). Antiejemplos: (p, (p q , (p) y q . on 1) si las siguientes Ejercicio 1. Decidir (teniendo en cuenta la convenci expresiones son f ormulas: p q r, (p q ), p , p, (p), pq . Terminolog a 1. El condicional tambi en se llama implicaci on material y el bicondicional, equivalencia material. En las f ormulas condicionales , la f ormula se llama el antecedente y la f ormula se llama el consecuente; adem as, las f ormulas y se llaman, respect., rec proca y contrarec proca de . Se usar an intuitivamente (i.e. sin denici on) los conceptos de conectivo principal, subf ormula(s) inmediata(s) y arbol de formaci on de una f ormula. Ejemplo 3. Sea = (p q ) (q p). El conectivo principal de es . Las subf ormulas inmediatas de son p q y q p. El arbol de formaci on de queda como ejercicio (a la derecha de cada nodo del arbol escribir el n umero de la cl ausula de la denici on de f ormula por la cual la expresi on de ese nodo es una f ormula). ormula. Una subf ormula de es cualquier Denici on 3. Sea una f f ormula del arbol de formaci on de . Corolario: Toda f ormula se tiene a s misma como subf ormula. ormulas de la f ormula del ejemplo 3 son p, q , p, Ejemplo 4. Las subf q , p q , q p y (p q ) (q p). 7

Ejercicio 2. Hallar el conectivo principal, las subf ormula(s) inmediata(s), el arbol de formaci on y la(s) subf ormula(s) de los ejemplos dados de f ormulas. ormula tiene un u nico arbol de formaci on. Proposici on 1. Cada f Denici on 4. Sea un conjunto de f ormulas. El lenguaje de (not: lg ) es el conjunto de letras proposicionales que aparecen en las f ormulas de . Sea una f ormula. El lenguaje de (not: lg) es el conjunto de letras proposicionales que aparecen en . Corolario: lg = lg {}. Nota 1. El matem atico y l ogico Gottlob Frege (1848-1925) hizo p ublico su lenguaje formal en 1879. Lo llam o Begrisschrift, que se puede traducir como Conceptograf a.

Traducciones
Ejemplo 5. Traducir al lenguaje de la l ogica proposicional ( dar diccionario): Proposici on (i) Ana y Ema son platenses Diccionario p: q: p: p: p: p: p: Ana es platense; Ema es platense Ana y Ema son amigas Cuatro y dos son seis ventila; q: hace ruido llueve; q: hace fr o nieva; q: llueve Traducci on pq p p pq p q pq q p pq pq pq qp qp qp pq (p q ) r (p r) (q r)

(ii) Ana y Ema son amigas. (iii) Cuatro y dos son seis. (iv) Ventila pero hace ruido. (v) Ni llueve ni hace fr o. (vi) Si nieva, entonces llueve. (vii) Si bien llueve, no nieva. (viii) Nieva s olo si llueve. (ix) Basta que nieve para que llueva. (x) Es suciente que nieve para que llueva. (xi) Nieva si llueve. (xii) Es necesario que nieve para que llueva. (xiii) Hace falta que nieve para que llueva. (xiv) Nieva si y s olo si llueve. (xv) Viene tanto si llueve como si hace fr o. p: llueve; q: hace fr o; r: viene

Comentario: En la proposici on de (i) aparece la palabra y y la traducci on es una conjunci on (esto es, el conectivo principal de la traducci on es una conjunci on). Pero en la proposiciones de (ii) y (iii) aparece la palabra y y la traducci on no es una conjunci on y en las proposiciones de (iv), (v) y (vii) no aparece la palabra y y la traducci on es una conjunci on. Adem as, la proposici on de (xv) se puede traducir con una conjunci on pero tampoco aparece la palabra y en dicha proposici on. An alogamente, en la proposici on de (vi) aparecen las palabras si y entonces y la traducci on es un condicional. Pero en la proposici on de (vii) aparece la palabra si y la traducci on no es un condicional y en las proposiciones de (ix), (x), (xii) y (xiii) no aparece ni la palabra si ni la palabra entonces y las traducciones son condicionales. Adem as, la proposici on de (xv) se puede traducir con un condicional aunque la palabra entonces no aparece en dicha proposici on. Finalmente, en una de las traducciones de la proposici on de (xv) aparece el conectivo , pero en dicha proposici on no aparece la palabra o. Ejercicio 3. Traducir al castellano con el diccionario dado por p : llueve; q : nieva. (i) p q ; (ii) p q ; (iii) (p q ); (iv) q p. 9

Sintaxis de la L ogica Proposicional

Se suponen conocidas las Reglas de Deducci on Natural, esto es, las Reglas de Introducci on y Eliminaci on de , y , y la Regla de Repetici on (que denen la L ogica Positiva, para la cual usamos el sub ndice p ), las Reglas de Introducci on y Eliminaci on de (que agregadas a las anteriores denen la L ogica Minimal, para la cual usamos el sub ndice m ), la Regla EASQ (que agregada a las anteriores dene la L ogica Intuicionista, para la cual usamos el sub ndice i ) y la regla de Doble Negaci on (que agregada a las anteriores dene la L ogica Cl asica, para la cual usamos el sub ndice c o no usamos ning un sub ndice). Nota 2. EASQ abrevia la expresi on latina Ex absurdo sequitur quodlibet, que signica que del absurdo se sigue lo que se quiera.

Derivaciones y Consecuencia Sint actica

Denici on 5. Sea un conjunto de f ormulas y una f ormula. (i) (impreciso) Una derivaci on de a partir de en la l ogica l es una sucesi on nita de f ormulas 1 , , n tal que n = y, para todo i (1 i n), o bien i o bien i es un supuesto de alguna regla de l o bien i se sigue de f ormulas anteriores de la sucesi on por alguna regla de l. (ii) Se dice que es consecuencia sint actica de en la l ogica l (y se anota l ) sii existe una derivaci on de a partir de en la l ogica l. ndice l toda vez que no sea necesario. Si Notaci on 2. Omitiremos el sub = { }, en lugar de { } escribimos s olo , e.g. escribimos en lugar de { } . Si = , en lugar de no escribimos nada, e.g. escribimos en lugar de . Adem as, escribiremos e.g. , y , para referirnos respectivamente a los conjuntos {} y .

Propiedades de la Relaci on de Consecuencia

Reexividad o Identidad. Si , entonces . Monoton a. Si y , entonces . Transitividad o Corte. Si y , , entonces , .

10

Casos Particulares
ormula. Denici on 6. Sea una f Se dice que es derivable (o que es un teorema) sii . Proposici on 2. Sea una f ormula. Son equivalentes: (i) ; (ii) pt , ; (iii) pt , . Denici on 7. Sea un conjunto de f ormulas. Se dice que es inconsistente (y se anota ) sii pt , . Proposici on 3. Sea un conjunto de f ormulas. Son equivalentes: (i) ; (ii) existe una f ormula tal que y ; (iii) . Ejercicio 4. Demostrar (i) {p q , q , p} y (ii) {(p q ), p} . ormula es contingente sii Denici on 8. Se dice que una f y .

Denici on 9. Se dice que un conjunto de f ormulas es (sint acticamente) completo sii, para toda f ormula tq lg lg , se cumple o , . Proposici on 4. Sea un conjunto de f ormulas. Son equivalentes: (i) es completo; (ii) para toda f ormula tq lg lg , se cumple o ; (iii) para toda letra proposicional p lg , se cumple p o p. Ejercicio 5. Demostrar que los conjuntos , {}, {}, {p}, {p q } y {p q , q } son completos y que {p q }, {p q } y {p q } son incompletos. Denici on 10. Sean y f ormulas. Se dice que es sint acticamente l equivalente a en la l ogica l (y se anota l ) sii l y l . La proposici on siguiente vincula los conceptos de consecuencia sint actica, f ormula derivable, conjunci on y condicional en la l ogica positiva (y por ende, en las l ogicas minimal, intuicionista y cl asica). Proposici on 5. Sean , 1 , . . . , n y f ormulas. Se tiene 1 , . . . , n p sii p (1 n ) . Caso Particular: p sii p .

11

Propiedades de los Conectivos

Cuando en matem atica se dice que a(b + c) = ab + ac, se deja t acito que dicha ecuaci on vale para todos los n umeros a, b y c del universo en cuesti on. An alogamente, en el enunciado de las siguientes propiedades, queda t acito que las mismas valen para todas las f ormulas involucradas; por ej, donde dice p p , se quiere decir p p , para todas y .

Propiedades de la Conjunci on
Conmutatividad: p p Asociatividad: ( ) p p ( ) Idempotencia: p p

Propiedades de la Disyunci on
Conmutatividad: p p Asociatividad: ( ) p p ( ) Idempotencia: p p

Propiedades de la Conjunci on y la Disyunci on

Absorci on: ( ) p p ( ) p p Distributividad de respecto de : ( ) p p ( ) ( ) Distributividad de respecto de : ( ) p p ( ) ( ) p ( ) ( ) p ( ) ( ) ( ) p ( ) ( ) p ( ).

Propiedades del Condicional

p p p ( ) ( ) p ( ) p ( ) p ( ) ( ) , p p ( ) p ( ) p p ( ) (( ) ) (( ) )
p p p p

p p p p

(( ) ) (( ) ) ( ) ( )

12

p (( ) ) Ley de Peirce: c (( ) ) Ley de Wajsberg: p (((( ) ) ) ) ( ) c c ( ) c p ( ) c (( ) ) p (( ) ) (( ) )

Propiedades del Condicional y la Conjunci on

Distributividad de respecto de : ( ) p p ( ) ( ) Adjunci on: ( ) p p ( ) , p ( ) ( ) ( ) p p

Propiedades del Condicional y la Disyunci on

( ) p c ( ) ( ) c p ( ) c ( ) c ( ) ( ) , p ( ) ( ) ( ) ( ) c ( ) ( ) ( ) p (( ) )

Propiedades del Condicional, la Conjunci on y la Disyunci on

( ) p c ( ) ( ) ( ) p p ( ) ( ) ( ) ( ) p p ( ) ( ) ( ) ( ) p p

Propiedades de la Negaci on
m m m c m m m m

Propiedades de la Negaci on y la Conjunci on

m ( ) i m i i ( ) m i Modus Ponendo Tollens: ( ), m ( ) m m ( ) m m ( ) c c ( ) 13

Propiedades de la Negaci on y la Disyunci on

( ) m m ( ) Modus Tollendo Ponens: , i , i Tertium non datur (o Principio de Tercero Excluido): c c ( ) m c ( ) c m c ( )

Propiedades de la Negaci on y el Condicional

m m m m c m ( ) m m ( ) m m m i m i m i ( ) i m ( ) , m c m m m m m Modus Tollendo Tollens: , m ( ) i ( ) m i ( ) m ( ) m m i ( ) c ( )

Propiedades de la Negaci on, la Conjunci on y la Disyunci on

Leyes de De Morgan: ( ) m c ( ) m m c m ( ) c m ( )

Propiedades de la Negaci on, la Conjunci on y el Condicional

( ) m m c m ( ) ( ) m c ( ) m i , m ( ) ( )

14

Propiedades de la Negaci on, la Disyunci on y el Condicional

i c c i i ( ( )) i (( ) ( )) ( ) i Nota 3. El matem atico Gerhard Gentzen (1909-1945) public o su sistema de Deducci on Natural en 1934.

15

Derivaciones Cl asicas
A veces, cuando hay que derivar una f ormula, no es posible hacerlo sin usar la regla de Doble Negaci on. En esos casos, se puede hacer lo siguiente: 1. . . . . . . sup

n. n+1. I n+2. , n+1

Si la f ormula es una disyunci on, se puede hacer lo siguiente: ( ) . . .

1. . . .

sup

n. / elegir n+1. I, n n+2. E, 1, n+1 n+3. ( ) I n+4. , n+3

Ejemplos
1. ( ) SUP 2. ( ) sup 3. sup 4. sup 5. I, 3, 4 6. E, 1,5 7. I 8. I, 7 9. E, 2,8 10. I 11. I, 10 12. E, 2, 11 13. ( ) I 14. , 13 16

1. ( ) sup 2. sup 3. I, 2 4. E, 1, 3 5. I 6. I, 5 7. E, 1,6 8. ( ) I 9. , 8 1. (( ) ( )) 2. 3. 4. 5. 6. ( ) ( ) 7. 8. 9. 10. ( ) ( ) 11. 12. (( ) ( )) 13. ( ) ( ) 1. 2. ( ) 3. 4. 5. 6. 7. 8. 9. 8. ( ) 9. sup sup sup Rep, 2 I I, 5 E, 1, 6 EASQ, 7 I I, 9 E, 1, 10 I , 12

SUP sup sup E, 1, 3 I, 4 E, 2, 5 I I, 7 E, 2, 8 I , 10

17

1. 2. 3. 4. 5. 6.

SUP sup E, 1, 2 E, 2, 3 I , 5

1. ( ) SUP 2. sup 3. sup 4. E, 2, 3 5. EASQ, 4 6. I 7. E, 1, 6 8. I 9. , 8 1. SUP 2. sup 3. sup 4. E, 1, 3 5. E, 4, 2 6. I 7. , 6 8. I 1. ( ) sup 2. sup 3. sup 4. E, 2, 3 5. EASQ, 4 6. I 7. E, 1, 6 8. E, 2, 7 9. I 10. , 9 11. (( ) ) I

18

Sem antica de la L ogica Proposicional Cl asica

Valuaciones
Denici on 11. Una valuaci on V (para la l ogica proposicional cl asica) es una funci on V de F en {0, 1} tal que: (i) V ( ) = 1 sii V () = 1 y V ( ) = 1; (ii) V ( ) = 1 sii V () = 1 o V ( ) = 1; (iii) V ( ) = 1 sii [si V () = 1, entonces V ( ) = 1]; (iv) V ( ) = 1 sii [V () = 1 sii V ( ) = 1]; (v) V () = 1 sii no se cumple que V () = 1; (vi) V () = 1 sii 1 = 1. Corolario 1. Las cla usulas (iii)-(v) equivalen, respectivamente, a (iii) V ( ) = 1 sii V () = 0 o V ( ) = 1; (iv) V ( ) = 1 sii V () = V ( ); (v) V () = 1 sii V () = 0; (vi) V () = 0. Corolario 2. Las cla usulas (i)-(vi) equivalen, respectivamente, a (i) V ( ) = 0 sii V () = 0 o V ( ) = 0; (ii) V ( ) = 0 sii V () = 0 y V ( ) = 0; (iii) V ( ) = 0 sii V () = 1 y V ( ) = 0; (iv) V ( ) = 0 sii V () = V ( ); (v) V () = 0 sii V () = 1; (vi) V () = 0 sii 0 = 0. Comentario 1. Las cla usulas (i)-(vi) pueden aparecer como tablas: 0 1 0 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 1 0 0 1 1 0 1 0 1 1 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 0 0 1 1 1 0 0 1 0

Proposici on 6. Sea una f ormula y V una val. Entonces, el valor de seg un V (es decir, V ()) queda totalmente determinado por el valor de las letras proposicionales que aparecen en , i.e. si V y V son dos vals tales que V (p) = V (p) para toda letra proposicional p de , entonces V () = V (). ormula es verdadera en la valuaci on V Denici on 12. Se dice que la f sii V () = 1. Adem as, la f ormula es falsa en la valuaci on V sii V () = 0. 19

Contravaluaciones y Consecuencia Sem antica

ormulas, una f ormula y V una Denici on 13. Sea un conjunto de f valuaci on. Se dice que V es una contravaluaci on de respecto de sii todas las f ormulas de son verdaderas en V , pero es falsa en V . Ejemplo 6. Sea = {p q, p}, = q y V tq V (p) = 0 y V (q ) = 1. ormulas y una f ormula , no Comentario 2. Dados un conjunto de f siempre existe una contravaluaci on de respecto de , por ej., si = {p q } y = p. En estos casos se usa la terminolog a de la siguiente Denici on 14. Sea un conjunto de f ormulas y una f ormula. Se dice que es consecuencia sem antica de (y se anota |= ) sii no existe contravaluaci on de respecto de . Las notaciones |= , 1 , . . . , n |= y signican, respectivamente, que { } |= , que {1 , . . . , n } |= y que no es consecuencia sem antica de . Proposici on 7. Sea un conjunto de f ormulas y una f ormula. Son equivalentes: (i) es consecuencia sem antica de ; (ii) En toda valuaci on donde todas las f ormulas de son verdaderas, tambi en es verdadera; (iii) En toda valuaci on donde es falsa existe una f ormula de que es falsa. Ejemplo 7. p q , q |= p; p q |= (p q ); p |= (p q ). Corolario 3. sii existe una contravaluaci on de respecto de . p; (p q ) p q.

Ejemplo 8. p q , q

Como se ve, lo que interesa para saber si se tiene o no consecuencia sem antica es, respectivamente, si no existe contravaluaci on o s existe; en pocas palabras, se tiene consecuencia sem antica sii no existe contravaluaci on.

20

Casos Particulares
Denici on 15. Sea una f ormula y V una valuaci on. Se dice que V es una contravaluaci on de sii es falsa en V . Esto equivale a decir que V es una contravaluaci on de respecto de . Ejemplo 9. Sea = p q y V tal que p y q son falsas en V . Comentario 3. No toda f ormula tiene una contravaluaci on. Por ejemplo, p p. En estos casos se usa la terminolog a de la siguiente Denici on 16. Sea una f ormula. Se dice que es tautol ogica (y se anota |= ) sii no hay contravaluaci on de . Proposici on 8. Sea una f ormula. Son equivalentes: (i) es tautol ogica; (ii) es verdadera en toda valuaci on; (iii) no es falsa en ninguna valuaci on; (iv) pt , |= ; (v) |= . Ejemplo 10. Las f ormulas p p, (p p), p (p q ) y p p son tautol ogicas, pero p, p, p q , p q , p q y p q no lo son. Corolario 4. sii existe una contravaluaci on de .

La siguiente proposici on establece cierta vinculaci on entre los conceptos de consecuencia sem antica, tautologicidad, conjunci on y condicional. Proposici on 9. Sean , y 1 , . . . , n f ormulas. Se tiene 1 , . . . , n |= sii |= (1 n ) . Caso Particular: |= sii |= . Denici on 17. Sea un conjunto de f ormulas. Se dice que es contradictorio sii . Esto equivale a decir que que no existe valuaci on donde todas las f ormulas de sean verdaderas. Sea una f ormula. Se dice que es contradictoria (y se anota |=) sii toda val es una contraval de . ormula. Son equivalentes: Proposici on 10. Sea una f (i) es contradictoria; (ii) es falsa en toda valuaci on; (iii) no es verdadera en ninguna valuaci on; (iv) |= , pt ; (v) |= . 21

Ejemplo 11. Las f ormulas , p p, p p, (p p) y (((p q ) p) q ) son contradictorias pero p p y p p no lo son. Proposici on 11. Sea un conjunto de f ormulas y una f ormula tq no tienen letras proposicionales en com un. Si |= , entonces |= o bien |= . Denici on 18. Sea una f ormula. Se dice que es contingente sii y no es contradictoria. Corolario: es contingente sii existe una valuaci on donde es verdadera y tambi en una valuaci on donde es falsa. Ejemplo 12. Las f ormulas p, p, p p, p p y p q son contingentes, pero p p y p p no lo son. Proposici on 12. Toda f ormula es contradictoria, contingente o tautol ogica. Denici on 19. Sean y f ormulas. Se dice que equivale sem anticamente a (y se anota =||= ) sii |= y |= . Corolario: =||= sii para toda val V , V () = V ( ). Ejemplo 13. p p =||= p; p q =||= q p; p q =||= p q . Antiejemplo 1. p q =||= p q ; (p q ) =||= (p q ) (p q ). La siguiente proposici on establece cierta vinculaci on entre el concepto de equivalencia sem antica y el bicondicional. Proposici on 13. Sean y f ormulas. Se tiene =||= sii |= . Proposici on 14. Toda f ormula equivale o bien a una f ormula que no tiene negaciones o bien a una f ormula que tiene una u nica negaci on y dicha negac on es su conectivo principal. Ejercicio 6. En cada caso hallar una f ormula equivalente que no tenga negaciones: p, p q , (p q ), p q , (p q ), (p q ), (p q ), r (p q ) ( demostrar). Denici on 20. Sea un conjunto de f ormulas. Se dice que es satisfactible sii . Esto equivale a decir que existe una valuaci on donde todas las f ormulas de son verdaderas. Sea una f ormula. Se dice que es satisfactible sii {} es sat. Esto equivale a decir que existe una valuaci on donde es verdadera. Ejemplo 14. Los conjuntos {p q , q , p}, {p p} y {p q , p q , p q } son satisfactibles, pero {p q , p, q } no lo es. 22

Denici on 21. Sea un conjunto de f ormulas. Se dice que es sem anticamente completo sii existe a lo sumo una valuaci on para las letras proposicionales de las f ormulas de donde todas las f ormulas de son verdaderas. Formalmente: pt vals V , V tq V ( ) = V ( ) = 1, pt , se tiene V (p) = V (p), pt p lg . Ejemplo 15. Los conjuntos , {p}, {p q , q }, {p q, p}, {}, {p, p} y { } son sem anticamente completos, pero {p q }, {p q }, {p q }, {p q , p} y {p p} no lo son. Ejercicio 7. Hallar una f ormula con a lo sumo los conectivos y tq sea equivalente a (i) p q ; (ii) p q . Idem con y que sea equivalente a (i) p q y (ii) p q . Idem con y que sea equivalente a (i) p q y (ii) p q . Idem con que sea equivalente a p q .

23

Correcci on y Completud
Correcci on
Teorema 5. (de Correcci on) Sea un conjunto de f ormulas y una f ormula. Si , entonces (es decir, si hay derivaci on, entonces no hay contravaluaci on). Ejercicio 8. Usando el hecho de que el teorema de correcci on equivale a su contrarec proco, es decir, a que si , entonces (esto es, si hay contravaluaci on, entonces no hay derivaci on), demostrar que (i) p q , q p; (v) p q, p r q ; (ii) p q p q ; (vi) p (q r) p q ; (iii) (p q ) (p q ); (vii) (p q ) (p r) p. (iv) (p q ) (p r) q r; El teorema de correcci on tambi en equivale al siguiente Teorema 6. Sea un conjunto de f ormulas. Si es inconsistente, entonces es insatisfactible (es decir, si hay derivaci on de a partir de , entonces no hay valuaci on donde todas las f ormulas de sean verdaderas). Ejercicio 9. Usando el hecho de que el teorema que se acaba de enunciar equivale a que si es satisfactible, entonces es consistente (es decir, que si hay valuaci on donde todas las f ormulas de son verdaderas, entonces no hay derivaci on de a partir de ), demostrar que (i) p p ; (ii) p q , p .

24

Completud
ormulas y una f ormula. Teorema 7. (de Completud) Sea un conjunto de f Si |= , entonces (es decir, si no hay contravaluaci on, entonces hay derivaci on (cl asica)). El teorema de completud equivale a que o bien que hay derivaci on o hay contravaluaci on). El teorema de completud tambi en equivale al siguiente Teorema 8. Sea un conjunto de f ormulas. Si es insatisfactible, entonces es inconsistente (es decir, si no existe valuaci on donde todas las f ormulas de son verdaderas, entonces hay derivaci on de a partir de ). proco del teorema que se acaba de preEjercicio 10. Enunciar el contrarec sentar. (es decir, a

25

Correcci on y Completud consideradas conjuntamente

Considerando conjuntamente los teoremas de correcci on y completud resulta el siguiente Teorema 9. Sea un conjunto de f ormulas y una f ormula. sii |= (es decir, hay derivaci on sii no hay contravaluaci on). Ejercicio 11. Usando el hecho de que el teorema que se acaba de enunciar equivale a que o (exclusivo!) (es decir, que hay derivaci on o (exclusivo!) hay una contravaluaci on), descubrir, en cada caso, si i i y si i i (1 i 6). En caso armativo construir una derivaci on y en el caso contrario, una contravaluaci on. 1 2 3 4 5 6 = (p q ) r , = (p q ) r , = q, = (p q ) q , = (p q ) q , = p, 1 2 3 4 5 6 = (p r) (q r); = (p r) (q r); = p q; = p; = (p q ) p; = (p q ).

Los teoremas de correcci on y completud considerados conjuntamente tambi en equivalen al siguiente Teorema 10. Sea un conjunto de f ormulas. es consistente sii es satisfactible. Ejercicio 12. Usando el hecho de que el teorema que se acaba de enunciar equivale a que es inconsistente o (exclusivo!) es satisfactible (es decir, que hay derivaci on de a partir de o (exclusivo!) hay valuaci on donde todas las f ormulas de son verdaderas), descubrir, en cada caso, si los siguientes conjuntos de f ormulas i (1 i 5) son o no inconsistentes. En caso armativo construir una derivaci on de a partir de i y en el caso contrario una valuaci on donde todas las f ormulas de i sean verdaderas. 1 2 3 4 5 = {p q , p, q }; = {p q , p, q }; = {p q , q p, p, q }; = {p q , p q , p q }; = {(p q ), (p q ), (p q )}.

26

http://campus.fahce.unlp.edu.ar Entrar Entrar como invitado Filosof a L ogica (Ertola) L ogica Proposicional

27