Introducci on a la L ogica

Curso 20132014. Grupo A2 C. Badesa

Resumen esquem atico de L ogica Proposicional

1. Sintaxis
El alfabeto de un lenguaje L de la l ogica proposicional consta de los siguientes s mbolos: 1. Un conjunto de letras proposicionales a las que nos referiremos con las letras p, q , r, s y t (con o sin sub ndices). 2. Conectivas : negaci on: , que leeremos no conjunci on: , que leeremos y disyunci on: , que leeremos o condicional: , que leeremos si..., entonces bicondicional: , que leeremos si y s olo si 3. Par entesis : ( , ) Las conectivas son los s mbolos l ogicos del lenguaje y los par entesis los s mbolos auxiliares. La negaci on es una conectiva monaria y las restantes son binarias. Una f ormula de un lenguaje proposicional L o, simplemente, una f ormula es una sucesi on de s mbolos generada por un n umero nito de aplicaciones de las siguientes reglas: 1. Toda letra proposicional de L es una f ormula. 2. Si es una f ormula, es una f ormula. 3. Si y son f ormulas, ( ), ( ), ( ) y ( ) son f ormulas. Las letras proposicionales son f ormulas at omicas y todas las restantes son f ormulas compuestas. Cada f ormula compuesta tiene una conectiva principal, aquella que introduce la u ltima regla que se aplica al construir la f ormula. La conectiva principal de es la negaci on, y si es una conectiva distinta de la negaci on, entonces es la conectiva principal de ( ). Es habitual referirse gen ericamente a las f ormulas que tienen la misma conectiva principal con el nombre de dicha conectiva. As , una f ormula de la forma es una negaci on, una de la forma ( ) es una conjunci on, etc. En un condicional ( ) decimos que es el antecedente y que es el consecuente. Subf ormulas El arbol geneal ogico de una f ormula compuesta se construye por el siguiente procedimiento: se analiza (se descompone) en las f ormulas m as simples que la componen, se analizan estas del mismo modo y se prosigue este an alisis hasta llegar a las letras proposicionales, que no son analizables en f ormulas m as simples. Las subf ormulas de una f ormula son ella misma y todas las f ormulas a las que se llega mediante este proceso de an alisis; esto es, las subf ormulas de una f ormula son todas las f ormulas que aparecen en su arbol de geneal ogico (incluida ella misma). Observemos que: 1) no hay dos f ormulas distintas que tengan las mismas subf ormulas y 2) si una f ormula es una subf ormula de una f ormula y esta es una subf ormula de , la f ormula tambi en es una subf ormula de la f ormula . 1

Omisi on de par entesis En lo sucesivo, omitiremos los par entesis exteriores de las f ormulas (una vez construidas) siempre que lo creamos conveniente. As , en lugar de escribir ((pq ) (pr)) podemos escribir (pq ) (pr), pero no podemos eliminar ning un otro par entesis.

2.
2.1.

Sem antica
Verdad con una asignaci on

Una asignaci on es una funci on que asigna a cada una de las letras proposicionales del lenguaje el valor verdadero o el valor falso. A estos valores los llamamos valores de verdad. Para abreviar, nos referiremos a ellos con las letras V y F , respectivamente, y diremos que una asignaci on atribuye o asigna a cada letra proposicional el valor V o el valor F . Para referirnos a las asignaciones usaremos la letra v (con sub ndices, cuando sea necesario). La expresi on v (p) = V signica entonces que la asignaci on v atribuye el valor V a la letra proposicional p o, dicho de otro modo, que p es verdadera con la asignaci on v . Si en lugar del valor V es el valor F , esto es, si v (p) = F, decimos que p es falsa con la asignaci on v . S olo hay 2 (= 21 ) asignaciones en el caso de un lenguaje con una u nica letra proposicional. El 2 n umero de asignaciones posibles para 2 letras proposicionales es 4 (= 2 ). El n umero de asignaciones para 3 letras proposicionales es 8 (= 23 ). En general, si el n umero de letras proposicionales es n, el n umero de asignaciones es 2n . Toda asignaci on permite atribuir un valor de verdad a cada una de las f ormulas del lenguaje formal; este valor de verdad queda un vocamente determinado por la asignaci on y las siguientes tablas que denen las conectivas como funciones veritativas: V V F F V F V F ( ) V F F F ( ) V V V F ( ) V F V V ( ) V F F V

V F

F V

Si v es una asignaci on y es una f ormula, v () es valor de verdad determinado por la asignaci on v o, como diremos tambi en diremos el valor de verdad que toma con la asignaci on v . La tabla de verdad de una f ormula es la tabla que se obtiene al calcular el valor de verdad que toma la f ormula con cada una de las posibles asignaciones de valores de verdad a las letras proposicionales de la f ormula. Tautolog as y contradicciones Una tautolog a es una f ormula tal que toda asignaci on la hace verdadera; una contradicci on es una f ormula tal que toda asignaci on la hace falsa; una f ormula contingente es una f ormula para la que hay alguna asignaci on que la hace verdadera y alguna asignaci on que la hace falsa. Estas deniciones pueden enunciarse m as formalmente del siguiente modo:

1. una f ormula es una tautolog a syss1 para toda asignaci on v , v () = V ; 2. una f ormula es una contradicci on syss para toda asignaci on v , v () = F ; 3. una f ormula es contingente syss hay alguna asignaci on v tal que v () = V y hay alguna asignaci on v tal que v () = F . Observaciones 1. Toda f ormula es una tautolog a, una contradicci on o una f ormula contingente. 2. La negaci on de una tautolog a es una contradicci on. 3. La negaci on de una contradicci on es una tautolog a. 4. La negaci on de una f ormula contingente es una f ormula contingente. Selecci on de tautolog as 1. 2. (ley de identidad). (ley del tercio excluso). (principio de no contradicci on).

3. ( )

4. (( ) ) . 5. (( ) ) .

2.2.

Equivalencia l ogica

Dos f ormulas son l ogicamente equivalentes si toman el mismo valor de verdad con toda asignaci on. Formulado con m as de precisi on: es l ogicamente equivalente a si y s olo si para toda asignaci on v , v () = v ( ). Escribiremos y para expresar, respectivamente, que equivale l ogicamente a y que y no son l ogicamente equivalentes. Observaciones 1. Todas las tautolog as son l ogicamente equivalentes entre s . 2. Todas las contradicciones son l ogicamente equivalentes entre s . 3. Para cualesquiera f ormulas y , a ) syss . b ) syss es una tautolog a.
1

syss es una abreviatura para si y s olo si.

Propiedades b asicas de la equivalencia l ogica. 1. (reexividad), 2. si , entonces (simetr a),

Para cualesquiera f ormulas , y ,

3. si y , entonces (transitividad). Selecci on de equivalencias l ogicas Todas las equivalencias de la lista son, en rigor, esquemas que dan lugar a equivalencias l ogicas concretas cuando se sustituyen las variables , , por f ormulas concretas. Cada una de estas equivalencias es expresable en forma de tautolog a, tal como se indica en la observaci on (3b). E1. Ley de la doble negaci on. . E2. Idempotencia de la conjunci on y de la disyunci on. a ) . b ) . E3. Conmutatividad de la conjunci on y de la disyunci on. a ) . b ) . E4. Asociatividad de la conjunci on y de la disyunci on. a ) ( ) ( ). b ) ( ) ( ). E5. Distributividad de la conjunci on respecto de la disyunci on y de la disyunci on respecto de la conjunci on. a ) ( ) ( ) ( ). b ) ( ) ( ) ( ). E6. Leyes de De Morgan. a ) ( ) . b ) ( ) . Omisi on de par entesis Las leyes asociativas de la conjunci on y de la disyunci on justican la introducci on de una nueva regla de simplicaci on de par entesis: se pueden omitir los par entesis cuya u nica nalidad es agrupar una sucesi on de conjunciones o de disyunciones.

Eliminabilidad de conectivas Las siguientes equivalencias nos muestran c omo expresar unas conectivas en funci on de otras por lo que se reere a la conjunci on, la disyunci on y el condicional: E7. ( ). E8. . E9. ( ). E10. ( ). E11. ( ). E12. . Las dos equivalencias siguientes muestran dos maneras naturales de expresar un bicondicional con ayuda de otras conectivas: E13. ( ) ( ). E14. ( ) ( ). Observaciones 1. Toda f ormula es l ogicamente equivalente a una que tiene las mismas letras proposicionales y cuyas u nicas conectivas son la negaci on y la disyunci on. 2. Toda f ormula es l ogicamente equivalente a una que tiene las mismas letras proposicionales y cuyas u nicas conectivas son la negaci on y la conjunci on. 3. Toda f ormula es l ogicamente equivalente a una que tiene las mismas letras proposicionales y cuyas u nicas conectivas son la negaci on y el condicional.

2.3.

Satisfacibilidad

Con {1 , ..., n } nos referimos a un conjunto de f ormulas constituido por 1 , ..., n . Si es un conjunto de f ormulas, la expresi on (le da: pertenece a ) signica que es una de las f ormulas que constituyen el conjunto . Un conjunto de f ormulas es satisfacible si existe una asignaci on que hace verdaderas a todas las f ormulas de . Si no es satisfacible decimos que es insatisfacible. Si una asignaci on v hace verdaderas a todas las f ormulas de un conjunto , decimos que v satisface . As , un conjunto de f ormulas es satisfacible si y s olo si existe una asignaci on v tal que v satisface . Si, por ejemplo, = {, , }, entonces {, , } es satisfacible syss existe una asignaci on v tal que v () = V y v ( ) = V y v ( ) = V. Observaciones 1. {, , } es satisfacible syss existe una asignaci on v tal que v ( ) = V, 2. {, , } es insatisfacible syss {, , } es una contradicci on. 5

2.4.

Consecuencia l ogica

Una f ormula es consecuencia l ogica de un conjunto de f ormulas , en s mbolos, , si y s olo si toda asignaci on que satisface hace verdadera a . Expl citamente, si y s olo si toda asignaci on que hace verdaderas a todas las f ormulas de hace tambi en verdadera a o, dicho de otro modo, si y s olo si no hay ninguna asignaci on que haga verdaderas a todas las f ormulas del conjunto y falsa a . Para expresar que una f ormula no es consecuencia de un conjunto de f ormulas escribiremos . Obviamente, si y s olo si existe una asignaci on que hace verdaderas a todas las f ormulas de y falsa a . Si una f ormula es consecuencia de un conjunto de f ormulas se dice tambi en que implica . As , puede leerse como es consecuencia de o como implica . Si = { }, en lugar de { } escribiremos y diremos que implica o que es consecuencia de . Un argumento est a constituido por un conjunto nito de f ormulas y una f ormula . Las f ormulas de son las premisas y es la conclusi on. Si , decimos que el argumento es correcto o l ogicamente v alido. Si , decimos que el argumento es incorrecto o inv alido. Propiedades b asicas de la relaci on de consecuencia Para cualquier conjunto de f ormulas y cualesquiera f ormulas y , 1. |= , 2. si |= y |= entonces |= ; en particular, si |= y |= , entonces |= .

Relaciones b asicas entre los distintos conceptos sem anticose la relaci on de consecuencia 1. Para cualesquiera f ormulas y a) b ) |= c ) |= syss syss syss |= y |= .

es una tautolog a. {, } es insatisfacible.

2. Para cualesquiera f ormulas y y , {, } |= 3. Para toda f ormula , a ) es una tautolog a syss es consecuencia de todo conjunto de f ormulas, b ) es una tautolog a syss es consecuencia de toda f ormula. 4. Para toda f ormula y todo conjunto de f ormulas , a ) es una contradicci on syss toda f ormula es consecuencia de . b ) es insatisfacible syss toda f ormula es consecuencia de . 5. Para toda f ormula , es contingente si y s olo si hay alguna f ormula que no es consecuencia de y hay alguna f ormula de la que no es consecuencia. syss ( ) es una tautolog a.