3.

Semntica de la lgica proposicional

3a. Semntica de las conectivas

Semntica formal
Una tarea de la semntica es investigar las CONDICIONES DE VERDAD de los enunciados La semntica formal se ocupa nicamente de los aspectos formales o estructurales de las condiciones de verdad Un enunciado complejo ser verdadero o falso en funcin de la forma en que estn dispuestos los enunciados simples que lo componen Esta forma viene dada por la disposicin de las conectivas dentro del enunciado

Principio de bivalencia
En L0 todo enunciado es verdadero o falso: no hay una tercera posibilidad Decimos que son sus 2 posibles VALORES DE VERDAD Es corriente simbolizar estos valores como V / F o como 1 / 0: usaremos los segundos Por tanto, todo enunciado simple puede tomar los valores 1 y0 El valor de un enunciado compuesto depender del modo en que se combinen los valores de los enunciados simples que lo componen Cada conectiva lgica determina una cierta combinacin de valores de verdad

Semntica de las conectivas

Lo que diferencia semnticamente las conectivas es el valor de verdad del enunciado compuesto que se forma con ellas: Luke es rubio y Leia es morena Luke es rubio o Leia es morena Si Luke es rubio, Leia es morena Luke es rubio, si y slo si, Leia es morena Luke no es rubio, ni Leia morena Cada una de estas afirmaciones (1-5) es verdadera en condiciones diferentes. Dichas condiciones vienen dadas por las distintas conectivas lgicas.

1. 2. 3. 4. 5.

Semntica de las conectivas

Nuestro punto de partida para estudiar la semntica de las conectivas es ver cmo se da en el lenguaje natural. Pero hay que tener en cuenta que el lenguaje natural es mucho ms rico y complejo que nuestro L0: tenemos que considerar el contexto para saber qu se pretende decir con un enunciado. Dado que el lenguaje lgico prescinde del contexto, va a selecciona algunos de los usos de las conectivas, aquellos que considera importantes para sus propsitos. Una vez fijados estos valores semnticos, podemos estudiarlos aisladamente y ver el tipo de relaciones semnticas que establecen.

Semntica de las conectivas

Los valores de las conectivas que vamos a ver NO SON UNA PURA ABSTRACCIN: aparecen realmente en nuestro usos del lenguaje natural. Pero a veces es difcil ver la equivalencia con los usos ordinarios, porque tendemos a meter ms contenido que lo que la oracin estrictamente garantiza, en funcin de cules creamos que son las intenciones del hablante al proferir un enunciado. Hay otros tipos de lgica con otro tipo de semntica para las conectivas, que pretenden captar intuiciones lgicas distintas. Son LGICAS NO ESTNDAR. Lo que vamos a ver es la semntica lgica estndar o CLSICA.

Semntica de la conectiva NO
ZP: No subir el impuesto de la renta Consideremos 2 posibles situaciones al final de la legislatura: 1. El Gobierno sube el impuesto de la renta 2. El Gobierno no sube el impuesto de la renta

en qu situacin diramos que ZP falt a la verdad?

Obviamente en la 1. El negador simplemente cambia el valor de verdad de aquello que niega: si tenemos un enunciado , su negacin, , ser verdadera justo en las circunstancias en que era falsa, y viceversa.

Semntica de la conectiva Y
ZP: Bajaremos el IVA del tabaco y del alcohol Consideremos 4 situaciones: 1. Se baja el IVA del tabaco y del alcohol 2. No se baja el IVA del tabaco y s el del alcohol 3. Se baja el IVA del tabaco, no el del alcohol 4. No se baja el IVA del tabaco ni del alcohol en qu situacin/es diramos que ZP falt a la verdad? En la 2, 3 y 4. La promesa de ZP est compuesta por dos partes, unidas por Y. Para que la promesa compuesta se cumpla, debe cumplirse cada una de esas dos partes. Basta con que una de ellas no lo haga, para que la promesa sea falsa.

Semntica de la conectiva O
ZP: Aprobaremos el estatuto leons o el manchego Consideremos 4 situaciones: 1. Se aprueba el estatuto leons y el manchego 2. No se aprueba el estatuto leons, s el manchego 3. Se aprueba el estatuto leons, no el manchego 4. No se aprueba el estatuto leons, ni el manchego en qu situacin/es diramos que ZP falt a la verdad? Solamente en la 4. La promesa de ZP est compuesta por dos partes, unidas por O, pero en este caso basta con que una de ellas se cumpla para que la promesa sea verdadera. ZP falta a la verdad cuando ninguna de esas dos partes resulta verse cumplida.

Semntica de la conectiva O
Acabamos de ver el sentido INCLUSIVO de la O. Hay otro uso tpico de la O en el lenguaje natural que es EXCLUSIVO: las dos proposiciones que se unen no pueden ser verdaderas al mismo tiempo: ZP: Elegir a mi sucesor por votacin o a dedo

En este caso se plantean dos situaciones mutuamente excluyentes, dado que elegir al sucesor por un mtodo excluye hacerlo por el otro. Pero este es un hecho acerca del mundo, no acerca de la naturaleza lgica de ese enunciado.

Semntica de la conectiva O
Hay incluso otros usos de la O an ms dudosos:

ZP: Crearemos 400.000 600.000 puestos de trabajo

Supongamos que se crean 500.000 puestos. Falt a la verdad ZP? Obviamente no: en este caso la O se limita a marcar unos mrgenes para que el enunciado sea verdadero.

En lgica slo nos interesa el sentido inclusivo de la O.

Semntica de la conectiva SI
ZP: Si sube la vivienda, bajaremos el IBI Consideremos 4 situaciones: 1. Sube la vivienda y baja el IBI 2. No sube la vivienda, baja el IBI 3. Sube la vivienda y no baja el IBI 4. No sube la vivienda, ni baja el IBI en qu situacin/es diramos que ZP falt a la verdad? Solamente en la 3. La promesa de ZP es un condicional, que dice que acciones se tomarn si se cumple el antecedente. Pero no dice nada acerca de lo que se har cuando el antecedente no se cumple. El condicional slo resulta ser falso cuando el antecedente es verdadero y el consecuente falso.

Semntica de la conectiva SI
En el lenguaje natural, con frecuencia usamos el condicional dando cosas por sobrentendidas: ZP: Si me votis, os ir mejor (sobrentendido: Si no me votis, no os ir mejor) ZP: Si la inflacin se dispara, tomar medidas (sobrentendido: Si no se dispara, no se tomarn medidas Pero en lgica no nos interesan los sobrentendidos, sino slo lo que la oracin estrictamente garantiza. Y el condicional garantiza que, dado un antecedente verdadero, el consecuente ha de ser verdadero. Pero si el antecedente es falso, el condicional seguir siendo verdadero.

Semntica de la conectiva SI
De hecho, hay condicionales en los que el antecedente es admitidamente falso: los contrafcticos. ZP: Si hubiera bajado el dficit, habra destinado ms dinero a I+D Tanto antecedente como consecuente son falsos: ni ha bajado el dficit ni se ha destinado ms a I+D. Sin embargo, podemos seguir admitiendo la verdad del condicional. Este contrafctico sera falso en la situacin en que (viajando atrs en el tiempo) el dficit ha bajado y, a pesar de ello, no se ha destinado ms dinero a I+D. Es decir: sera falso cuando el antecedente es verdadero y el consecuente falso. El condicional es verdadero en los restantes casos.

Semntica de la conectiva SI Y SLO SI

ZP: Invadiremos Andorra si, y slo si, el Parlamento lo aprueba

1. 2. 3. 4.

Se invade Andorra, el Parlamento aprueba la invasin No se invade Andorra, el Parlamento aprueba la invasin Se invade Andorra, el Parlamento no aprueba la invasin No se invade Andorra, el Parlamento no aprueba la invasin cundo se falt a la verdad?

En los casos 2 y 3. El bicondicional establece, entre las oraciones que une, una relacin ms fuerte que el condicional. El bicondicional establece que las dos partes se cumplen, o ninguna de ellas lo hace. Si una parte se cumple, pero la otra no, entonces la oracin bicondicional resulta ser falsa

Tablas de verdad
Las relaciones entre valores de verdad que establecen las conectivas pueden recogerse en forma de tablas. La tabla especifica cul es valor de verdad del compuesto dado el valor de verdad de las partes Dado que slo tenemos dos valores, que llamaremos 1 y 0, cada conectiva tiene una tabla nica.

Tablas de verdad: negador

Sea una frmula cualquiera, es verdadero cuando es falso, y falso cuando es verdadero:

1 0

0 1

Tablas de verdad: conyuntor

Sean y frmulas cualesquiera, ( ) es verdadero cuando y son verdaderos, y falso en los dems casos

1 0 1 0

1 1 0 0

1 0 0 0

Tablas de verdad: disyuntor

Sean y frmulas cualesquiera, ( ) es falso cuando y son falsos, y verdadero en los dems casos

1 0 1 0

1 1 0 0

1 1 1 0

Tablas de verdad: condicional

Sean y frmulas cualesquiera, ( ) es falso cuando es verdadero y es falso, y verdadero en los dems casos

1 0 1 0

1 1 0 0

1 1 0 1

Tablas de verdad: bicondicional

Sean y frmulas cualesquiera, ( ) es falso cuando y tienen distinto valor de verdad, y verdadero cuando tienen el mismo valor de verdad

1 0 1 0

1 1 0 0

1 0 0 1

Tablas de verdad con 2 constantes

y son frmulas cualesquiera, por tanto, pueden ser a su vez frmulas complejas. Toda frmula tiene una nica conectiva dominante. Para determinar la tabla de verdad de una frmula que incluye a y , primero uno resuelve las tablas de verdad de y de , y a continuacin aplica la tabla de verdad de la conectiva dominante. Pero y tendrn a su vez conectivas dominantes cuyas tablas hay que solucionar. Veamos primero casos sencillos con slo dos constantes proposicionales: p, q.

Tablas de verdad con 2 constantes

p q 0 1 0 1
1 0 1 1 0 1 0 0 1 0 0 0
La tabla de verdad viene dada por la conectiva dominante que une las frmulas p , q.

El negador es la dominante de p. Por tanto, primero resolvemos el negador para obtener la tabla de p.
Despus combinamos los valores de verdad obtenidos en esta tabla con los de la frmula q

Tablas de verdad con 2 constantes

(p q) 0 1
1 0 1 1 1 0
En este caso la dominante es as que ser la ltima columna en resolver. Primero resolvemos la frmula (p q). Despus aplicamos el negador sobre los valores de verdad de dicha frmula

1 1
0 1 0 0 0 0

Tablas de verdad con 2 constantes

Queremos hallar la tabla de:

( p q ) ( p q )
Tenemos que obtener todas las posibles combinaciones de valores de verdad. Tanto p como q pueden tener 2 valores, de modo que en total tenemos 2 x 2 = 4 combinaciones totales. Para actuar sistemticamente, tomamos la primera constante que aparezca y escribimos debajo 1 y 0 alternativamente, hasta completar cuatro filas. Hacemos lo mismo todas las veces que aparezca esa constante.

Tablas de verdad con 2 constantes

Queremos hallar la tabla de:

( p q ) ( p q ) 1 1 0 0 1 1 0 0
A continuacin tomamos la segunda constante y escribimos bajo ella, todas las veces que aparezca, grupos de dos 1 y de dos 0, hasta completar 4 filas.

Tablas de verdad con 2 constantes

Queremos hallar la tabla de:

( p q ) ( p q ) 1 1 1 1 0 1 0 1 1 0 1 0 0 0 0 0
Ahora podemos ir resolviendo la frmula de dentro hacia fuera. Primero resolvemos las frmulas atmicas con negador.

Tablas de verdad con 2 constantes

Queremos hallar la tabla de:

( p q ) ( p q ) 1 1 0 1 1 0 1 1 0 1 1 0 0 1 0 0 0 1 0 0
Ahora podemos ir resolviendo la frmula de dentro hacia fuera. Primero resolvemos las filas de las frmulas atmicas con negador. Despus resolvemos las filas de las conectivas no dominantes ms internas, en este caso y

Tablas de verdad con 2 constantes

Queremos hallar la tabla de:

( p 1 0 1 0

1 0 0 0

q ) ( p q ) 1 0 1 1 1 1 1 0 1 1 0 0 1 1 0 0 1 0 0 0

Ahora podemos ir resolviendo la frmula de dentro hacia fuera. Primero resolvemos las filas de las frmulas atmicas con negador. Despus resolvemos las filas de las conectivas no dominantes ms internas, en este caso y

Tablas de verdad con 2 constantes

Queremos hallar la tabla de:

( p 1 0 1 0

1 0 0 0

q ) ( p q ) 1 0 1 1 1 1 1 0 1 1 0 0 1 1 0 0 1 0 0 0

Por ltimo combinamos los valores de las tablas de las dos frmulas unidas por el disyuntor.

Tablas de verdad con 2 constantes

Queremos hallar la tabla de:

( p 1 0 1 0

1 0 0 0

q ) ( p q ) 1 1 0 1 1 1 1 1 1 0 1 1 0 1 0 1 1 0 0 0 1 0 0 0

Por ltimo combinamos los valores de las tablas de las dos frmulas unidas por el disyuntor. La columna resultante es la tabla de verdad de nuestra frmula.

Tablas de verdad con 3 constantes

Queremos cubrir todas las posibles combinaciones de valores de verdad. Si tenemos 3 constantes, cada una con 2 posibles valores de verdad, totaliza 2 x 2 x 2 = 8 combinaciones. Esto nos dar un total de 8 filas en la tabla. Para cubrir sistemticamente toda posibilidad, en la columna de la tercera constante escribiremos ahora grupos de 1s y 0s de cuatro en cuatro.

Tablas de verdad con 3 constantes

( p 1 0 1 0 1 0 1 q 1 1 0 0 1 1 0 ) ( r 1 1 1 1 0 0 0 q 1 1 0 0 1 1 0 )

Ahora vamos resolviendo cada subfrmula, de dentro hacia fuera

Tablas de verdad con 3 constantes

( p 1 0 1 0 1 0 1 q 1 1 0 0 1 1 0 ) ( r 1 1 1 1 0 0 0 0 0 1 1 0 0 1 q 1 1 0 0 1 1 0 )

Determinamos la conectiva dominante y resolvemos las atmicas negadas (NO an los negadores pegados a un parntesis)

Tablas de verdad con 3 constantes

( p 1 0 1 0 1 0 1 1 0 0 0 1 0 0 q 1 1 0 0 1 1 0 ) ( r 1 1 1 1 0 0 0 1 1 1 1 0 0 1 0 0 1 1 0 0 1 q 1 1 0 0 1 1 0 )

Ahora resolvemos las subfrmulas ms interiores

Tablas de verdad con 3 constantes

( p 1 0 1 0 1 0 1 1 0 0 0 1 0 0 q 1 1 0 0 1 1 0 ) 0 0 0 0 1 1 0 ( r 1 1 1 1 0 0 0 1 1 1 1 0 0 1 0 0 1 1 0 0 1 q 1 1 0 0 1 1 0 )

Resolvemos los negadores de los parntesis de las subfrmulas interiores.

Tablas de verdad con 3 constantes

( p 1 0 1 0 1 0 1 1 0 0 0 1 0 0 q 1 1 0 0 1 1 0 ) 0 0 1 1 1 1 1 1 0 0 0 1 1 0 ( r 1 1 1 1 0 0 0 1 1 1 1 0 0 1 0 0 1 1 0 0 1 q 1 1 0 0 1 1 0 )

Resolvemos finalmente la columna de la conectiva dominante

Tablas de verdad con n constantes

En general, para n constantes, necesitaremos 2n filas para cubrir todas las combinaciones. As, hallar la tabla de verdad de la frmula: (p [q (r s)]) (t u) requerira 26 = 64 filas ! Cada nueva constante duplica el nmero de 1s y 0s seguidos que es preciso escribir en su columna: grupos de 20 para la primera constante, de 21 para la segunda, de 22 para la tercera constante, etc.

Tabla de verdad para 4 constantes

( p q ) [( p r ) ( q s )]

1
0 1 0 1 0 1 0 1 0 1 0 1

1
1 0 0 1 1 0 0 1 1 0 0 1

1
0 1 0 1 0 1 0 1 0 1 0 1

1
1 1 1 0 0 0 0 1 1 1 1 0

1
1 0 0 1 1 0 0 1 1 0 0 1

1
1 1 1 1 1 1 1 0 0 0 0 0

0
1 0

1
0 0

0
1 0

0
0 0

1
0 0

0
0 0

Interpretacin veritativa de una frmula

( p 1 1 1 q 1 ) 0 0 ( r 1 1 0 q 1 )

2 3 4 5 6 7 8

0 1 0 1 0 1 0

0 0 0 1 0 0 0

1 0 0 1 1 0 0

1 1 1 1 1 1 1

0 0 0 1 1 0 0

1 1 1 0 0 0 0

1 1 1 0 0 1 1

0 1 1 0 0 1 1

1 0 0 1 1 0 0

Consideremos cada fila de esta tabla. En ella hay una combinacin nica de valores de verdad de las constantes, que determina cierto valor de la frmula.

Interpretacin veritativa de una frmula

( p 1 1 1 q 1 ) 0 0 ( r 1 1 0 q 1 )

2 3 4 5 6 7 8

0 1 0 1 0 1 0

0 0 0 1 0 0 0

1 0 0 1 1 0 0

1 1 1 1 1 1 1

0 0 0 1 1 0 0

1 1 1 0 0 0 0

1 1 1 0 0 1 1

0 1 1 0 0 1 1

1 0 0 1 1 0 0

La fila 1 nos indica que cuando p, q y r tienen valor de verdad 1, la frmula tiene valor de verdad 0. Las dems filas muestran que para cualquier otra combinacin de valores de p, q y r, la frmula tiene valor de verdad 1.

Interpretacin veritativa de una frmula

( p 1 1 1 q 1 ) 0 0 ( r 1 1 0 q 1 )

2 3 4 5 6 7 8

0 1 0 1 0 1 0

0 0 0 1 0 0 0

1 0 0 1 1 0 0

1 1 1 1 1 1 1

0 0 0 1 1 0 0

1 1 1 0 0 0 0

1 1 1 0 0 1 1

0 1 1 0 0 1 1

1 0 0 1 1 0 0

Cada fila constituye una interpretacin veritativa de la frmula, i.e., asigna un valor de verdad a la frmula, el cual depende de (1) los valores de verdad asignados a las constantes y (2) la disposicin de las conectivas.

Errores tpicos con las tablas de verdad

1. Mala distribucin de 1s y 0s
( p 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 q 1 1 0 0 1 1 0 0 ) 0 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 ( r 1 1 0 0 1 1 0 0 1 1 1 1 1 1 1 1 0 0 1 1 0 0 1 1 q 1 1 0 0 1 1 0 0 )

Errores tpicos con las tablas de verdad

2. Mala interpretacin del condicional
( p 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 q 1 1 0 0 1 1 0 0 ) 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 ( r 1 1 1 1 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 0 1 1 q 1 1 0 0 1 1 0 0 )

Errores tpicos con las tablas de verdad

3. Mala aplicacin del negador
( p 1 0 1 0 1 0 1 q 1 1 0 0 0 1 0 0 1 0 0 1 1 0 ) 1 1 1 1 1 1 1 ( r 0 0 0 0 1 1 1 1 1 1 0 0 1 1 1 1 0 0 1 1 0 q 1 1 0 0 1 1 0 )

El fuera de parntesis es la conectiva dominante de la subfrmula (r q) y se resuelve despus de resolver la frmula dentro del parntesis, aplicado a la columna bajo la conectiva dominante de dicha frmula