Tema 2 Conectivas

Introducción
Sintaxis de la Lógica Proposicional

Semántica de la Lógica Proposicional
Lógica Proposicional
Tema 2. Conectivas
R. Bosch
Septiembre de 2018
R. Bosch Lógica Proposicional

Introducción
Índice
Introducción

Alfabeto
Fórmulas de la Lógica Proposicional
Subfórmulas
Notación libre de paréntesis

Tablas de Verdad
Asignaciones
Nociones lógicas

Introducción
¿Por qué “Lógica Proposicional”?
I Lógica Proposicional.
I Lógica de Enunciados.
I Lógica Sentencial
En realidad es la lógica de las conectivas lógicas (5):
I la negación: “no p’;
I la conjunción:“p y q”;
I la disyunción: “p o q”;
I el condicional: “si p, entonces q”; y
I el bicondicional: “p si y solo si q”.
donde p y q están por enunciados o sentencias que expresan
proposiciones
Introducción
¿Por qué “Lógica Proposicional”?
VÁLIDOS INVÁLIDOS
Si p entonces q Si p entonces q
p no p
q no q
poq poq
no p p
q q

Introducción
¿Cómo lo haremos?
Especificaremos un lenguaje perfecto para el análisis de los

argumentos
I No ambiguo: “He buscado un manual para tocar el piano sin
éxito”
I Preciso: Reglas claras y distintas
I Simple: No tendrá excepciones

Introducción
¿Cómo lo haremos?
Dividimos el estudio del Lenguaje de la Lógica Proposicional en dos

partes
I Sintaxis: Reglas de construcción de los enunciados de este
lenguaje y estudio de las propiedades físicas de los mismos
I Semántica: Reglas de interpretación de los enunciados y
estudio de las propiedades que tienen en base a su significado.

Alfabeto
Introducción
Subfórmulas
Índice
Introducción

Alfabeto
Subfórmulas

Tablas de Verdad
Asignaciones
Nociones lógicas

Alfabeto
Introducción
Subfórmulas
El alfabeto de la Lógica Proposicional
Definición
El alfabeto de la lógica proposicional está formado por tres tipos de
símbolos todos ellos distintos entre si:
1. Las letras (variables) proposicionales (enunciativas o de
enunciados): Un conjunto infinito de letras proposicionales
p0 , p1 , p2 , ..., pn , ... (n 2 N).
2. Las cinco conectivas lógicas: ¬, ^, _, ! y $.

3. Los símbolos auxiliares: Los dos parentesis ) y (.

Alfabeto
Introducción
Subfórmulas
Observaciones sobre el alfabeto
I Las letras proposicionales son variables que estan por

enunciados lógicamente simples: enunciados gramaticalmente
simples (un único verbo en forma personal) que no contienen
negaciones.
I Hay una cantidad infinita de letras proposicionales para poder
garantizar que siempre que necesitemos una letra proposicional
nueva tendremos una disponible.
I Cuando solo necesitemos unas pocas letras proposicionales
emplearemos p, q, r , s y t en lugar de las pn (n 2 N).
Tampoco usaremos las letras pn (n 2 N) ni las letras p, q, r ,
... cuando simbolicemos enunciados.

Alfabeto
Introducción
Subfórmulas
Símbolo Nombre Lectura Alternativas

¬ Negador no ... ⇠o'
^ Conjuntor ... y ... &o.
_ Disyuntor ... o ... v
! Condicional Si ..., entonces ... o)
$ Bicondicional ... si y solo si ... ⌘o,o⇠

Alfabeto
Introducción
Subfórmulas
La función de los símbolos auxiliares es evitar la ambigüedad en los

“enunciados” de la lógica proposicional.
Ejemplo
La expresión
p_q^r
puede leerse de dos modos:
((p _ q) ^ r ) o (p _ (q ^ r ))

Alfabeto
Introducción
Subfórmulas
Índice
Introducción

Alfabeto
Subfórmulas

Tablas de Verdad
Asignaciones
Nociones lógicas

Alfabeto
Introducción
Subfórmulas
Expresiones
Definición
Una expresión (de la lógica proposicional) es cualquier fila finita de
símbolos del alfabeto de la lógica proposicional.
Ejemplos
Son expresiones:
I p _ q ^ r , ((p _ q) ^ r ) y (p _ (q ^ r )) del ejemplo anterior.
I ( ! ), (p ! ) y (p ! q).
I $, ($, ($ q).
No son expresiones
I p0 p1 p2 ...pn ... (n 2 N) (Fila infinita de símbolos).
I (| ^ ) o (p ! {q) (Uso de símbolos ajenos al alfabeto).
Alfabeto
Introducción
Subfórmulas
Metavariables
Notación
Usaremos las letras minúsculas griegas ', , , con posibles
subíndices, '0 , '1 , '2 , ..., 'n , ... (n 2 N), como metavariables
para expresiones de la lógica proposicional. Es decir, variables en el
metalenguaje –español ampliado– para referirnos a expresiones
cualesquiera del lenguaje (de la lógica proposicional).
Recordemos que las (meta)variables ', , ... están por
expresiones de la lógica proposicional de modo que cada aparición
de una misma variable debe ser remplazada por la misma expresión
aunque variables distintas no tienen por qué estar por expresiones
distintas.

Alfabeto
Introducción
Subfórmulas
Fórmulas
Definición
Las fórmulas (de la lógica proposicional) son todas aquellas
expresiones que pueden obtenerse a partir de las siguientes reglas:
F1 Toda letra proposicional es una fórmula.
F2 Si ' es una fórmula, entonces ¬' es una fórmula.
F3 Si ' y son fórmulas, entonces
a) (' ^ ) es una fórmula.
b) (' _ ) es una fórmula.
c) (' ! ) es una fórmula.
d) (' $ ) es una fórmula.
F4 Ninguna otra expresión es una fórmula.

Alfabeto
Introducción
Subfórmulas
Fórmulas
Ejemplos
I p es una fórmula de la lógica proposicional por F1.
I (p ! q) es una fórmula por F1 y F3(c).
I ¬¬¬p es una fórmula por F1 y sucesivas aplicaciones de F2.
I ¬(¬p ^ ¬q) es una fórmula por F1, F2 y F3(a).
I (p ! ^¬q) no es una fórmula por F4: no hay manera de
obtenerla aplicando las reglas F1–F3.
I (¬p) no es una fórmula por F4: no hay manera de obtenerla
aplicando las reglas F1–F3.

Alfabeto
Introducción
Subfórmulas
Observaciones sobre la definición de fórmula
Observación 1
Las letras proposicionales son a la vez símbolos del alfabeto y
fórmulas (⇠ enunciados). Son las denominadas fórmulas atómicas.
Todas las demás son las fórmulas complejas (o moleculares).
Nomenclatura de las fórmulas complejas

Fórmula Nombre Lectura
¬' Negación de ' No ' o No es el caso que '
(' ^ ) Conjunción de ' y 'y
(' _ ) Disyunción de ' y 'o
(' ! ) Condicional de ' con Si ', entonces
(' $ ) Bicondicional de ' y ' si y solo si
En (' ! ), ' es su antencedente y su consecuente

Alfabeto
Introducción
Subfórmulas
Observación 2
Es una definición constructiva o recursiva y no es una definición
esencialista.
Una fórmula es cualquier expresión de la lógica proposicional que

pueda obtenerse a partir de las letras proposicionales –que son
fórmulas (F1)– por los procedimientos de negación (F2),
conjunción, disyunción, condicional o bicondicional (F3) y
únicamente estas expresiones son fórmulas (F4).

Alfabeto
Introducción
Subfórmulas
Observación 3
La definición de fórmula que hemos dado permite que ciertas
expresiones “raras” deban ser consideradas fórmulas. Por ejemplo:
I ¬¬¬¬¬p
I ((((p ^ p) ^ p) ^ p) ^ p)
Sin embargo, aunque estas fórmulas puedan sorprendernos a
primera vista (no estamos acostumbrados a ellas en el lenguaje
natural) no causan ninguna dificultad.
Podríamos evitarlas modificando la definición de fórmula, pero la
definición resultante sería tan compleja que el esfuerzo para
evitarlas no se vería compensado por el dificultad que tendría la
comprobación de que una expresión es una fórmula.

Alfabeto
Introducción
Subfórmulas
¿Cómo determinar si una expresión es una fórmula?
Obteniéndola mediante las reglas F1–F4

Ejemplo 1
¿Es (r ! ¬(¬p ^ ¬q)) una fórmula?
1. p, q y r son fórmulas por F1.
2. ¬p es una fórmula por F2 aplicada a 1.
3. ¬q es una fórmula por F2 aplicada a 1.
4. (¬p ^ ¬q) es una fórmula por F3(a) aplicada a 2 y 3.
5. ¬(¬p ^ ¬q) es una fórmula por F2 aplicada a 4.
6. (r ! ¬(¬p ^ ¬q)) es una fórmula por F3(c) aplicada a 1 y 5.
Por lo tanto, (r ! ¬(¬p ^ ¬q)) sí es una fórmula.

Alfabeto
Introducción
Subfórmulas

Ejemplo 2
¿Es p¬q una fórmula?
1. p y q son fórmulas por F1.
2. ¬q es una fórmula por F2 aplicada a 1.
3. No hay ningún modo de obtener p¬q a partir de p y de ¬q
mediante las reglas F1–F3 pues:
I Cómo p¬q no es una letra proposicional, F1 no nos sirve.
I Cómo p¬q no es una negación, F2 no nos sirve.
I Cómo p¬q no contiene ^, _, ! ni $, las F3 no nos sirven.
Por lo tanto, por F4, p¬q no es una fórmula.

Alfabeto
Introducción
Subfórmulas

Ejemplo 3
¿Es ¬((q _ ¬r ) $ p) una fórmula?
2. ¬r es una fórmula por F2 aplicada a 1.
3. (q _ ¬r ) es una fórmula por F3(b) aplicada a 1 y 2.
4. ((q _ ¬r ) $ p) es una fórmula por F3(d) aplicada a 3 y 1.
5. ¬((q _ ¬r ) $ p) una fórmula por F2 aplicada a 4
Por lo tanto,¬((q _ ¬r ) $ p) sí es una fórmula.

Alfabeto
Introducción
Subfórmulas

Ejemplo 4
¿Es ((¬(¬p ! q) _ r )) una fórmula?
3. (¬p ! q) es una fórmula por F3(c) aplicada a 2 y 1.
4. ¬(¬p ! q) es una fórmula por F2 aplicada a 3.
5. (¬(¬p ! q) _ r ) es una fórmula por F3(b) aplicada a 4 y 1.
6. No hay ningún modo de obtener ((¬(¬p ! q) _ r )) a partir de
(¬(¬p ! q) _ r ) mediante las reglas F1–F3.
Por lo tanto, por F4, ((¬(¬p ! q) _ r )) no es una fórmula.

Alfabeto
Introducción
Subfórmulas
El Ejemplo 4:
((¬(¬p ! q) _ r ))
es un caso claro de la “regla de oro” de las fórmulas complejas:
Regla
Toda fórmula compleja debe tener el doble de paréntesis que de
conectivas lógicas diádicas ({^, _, !, $}).

Alfabeto
Introducción
Subfórmulas

Ejemplo 5
¿Es (((p ^ q) $ (¬p _ ¬s)) ! ¬¬r ) una fórmula?
1. p, q, r y s son fórmulas por F1.
2. (p ^ q) es una fórmula por F3(a) aplicada a 1.
4. ¬s es una fórmula por F2 aplicada a 1.
5. (¬p _ ¬s) una fórmula por F3(b) aplicada a 3 y 4.

Alfabeto
Introducción
Subfórmulas

Ejemplo 5 (Continuación)
¿Es (((p ^ q) $ (¬p _ ¬s)) ! ¬¬r ) una fórmula?
6. ((p ^ q) $ (¬p _ ¬s)) lo es por F3(d) aplicada a 2 y 5.

7. ¬r es una fórmula por F2 aplicada a 1.
8. ¬¬r es una fórmula por F2 aplicada a 7.
9. (((p ^ q) $ (¬p _ ¬s)) ! ¬¬r ) lo es por F3(c) a 6 y a 8.
Por lo tanto,(((p ^ q) $ (¬p _ ¬s)) ! ¬¬r ) sí es una fórmula.

Alfabeto
Introducción
Subfórmulas
Índice
Introducción

Alfabeto
Subfórmulas

Tablas de Verdad
Asignaciones
Nociones lógicas

Alfabeto
Introducción
Subfórmulas
Subfórmulas
Intuititivamente: una subfórmula de una fórmula ' es una parte, un
trozo, de ' que es fórmula.
Ejemplo
Consideremos la fórmula ((p ! ¬¬q) ! ¬(q _ ¬t)). Algunas de
sus subfórmulas son:
I (p ! ¬¬q)
I ¬¬q
I ((p ! ¬¬q) ! ¬(q _ ¬t)). En lógica “el todo también es una
parte".
Sin embargo, ((p ! q) ! (q _ t)) no es una subfórmula de la
fórmula dada aunque se obtenga a partir de la misma eliminando
los negadores.
Alfabeto
Introducción
Subfórmulas
Subfórmulas
Para definir de forma precisa la noción de subfórmula definimos

previamente el árbol genealógico de una fórmula:
Definición
Dada una fórmula ', el árbol genealógico de ' (también el árbol
sintáctico) es el grafo que se obtiene aplicando a ' las siguientes
reglas de formación del árbol:
p ¬ ( ⇤ )
|
p letra prop.
⇤ 2 {^, _, !, $}

Alfabeto
Introducción
Subfórmulas
Subfórmulas
Ejemplo
Construimos el árbol genealógico de ((p ! ¬¬q) ! ¬(q _ ¬t)).
((p ! ¬¬q) ! ¬(q _ ¬t))
(p ! ¬¬q) ¬(q _ ¬t)
p ¬¬q (q _ ¬t)
¬q q ¬t
q t
Alfabeto
Introducción
Subfórmulas
Subfórmulas
Definición
Sea ' una fórmula de la lógica proposicional. Las subfórmulas de '
son todas las fórmulas que aparecen en el árbol genealógico de '.
Ejemplo
Las subfórmulas de ((p ! ¬¬q) ! ¬(q _ ¬t)) son:
(p ! ¬¬q), ¬(q _ ¬t), p, ¬¬q, ¬q, q, (q _ ¬t), ¬t, t y ella
misma ((p ! ¬¬q) ! ¬(q _ ¬t)).
Las subfórmulas de una fórmula ' son todas las fórmulas necesarias
para construir '.

Alfabeto
Introducción
Subfórmulas
Otro uso de los árboles
Definición
Dado un árbol genealógico de una fórmula ',
I un punto final es cualquier fórmula del árbol que no tiene
ninguna fórmula por debajo.
I una rama del árbol son las fórmulas que aparecen a largo de
cualquier línea continua ascendente desde un punto final a la
fórmula inicial.

Alfabeto
Introducción
Subfórmulas
Ejemplo
Consideremos ((p ! ¬q) ! (q _ ¬t)) y su árbol genealógico:
PUNTOS FINALES RAMA

((p ! ¬q) ! (q _ ¬t)) ((p ! ¬q) ! (q _ ¬t))
(p ! ¬q) (q _ ¬t) (p ! ¬q) (q _ ¬t)
p ¬q q ¬t p ¬q q ¬t
t
q t q
*
Alfabeto
Introducción
Subfórmulas
Observación
Aplicando las mismas reglas que nos permiten generar el árbol
genealógico de una fórmula a cualquier expresión de la lógica
proposicional, obtenemos un método alternativo para determinar si
una expresión de la lógica proposicional es una fórmula o no:
Una expresión de la lógica proposicional es una fórmula si y solo si

todas las ramas de su árbol genealógico terminan con una letra
proposicional

Alfabeto
Introducción
Subfórmulas

Ejemplos
Sean las expresiones (r ! ¬(¬p ^ ¬q)) y ¬(¬((p ! q) _ r ):
(r ! ¬(¬p ^ ¬q))
r ¬(¬p ^ ¬q)
(¬p ^ ¬q)
¬p ¬q
p q
Alfabeto
Introducción
Subfórmulas

Ejemplos
Sean las expresiones (r ! ¬(¬p ^ ¬q)) y ¬(¬((p ! q) _ r ):
(r ! ¬(¬p ^ ¬q)) ¬(¬((p ! q) _ r )
r ¬(¬p ^ ¬q) (¬((p ! q) _ r )
(¬p ^ ¬q) ¬((p ! q) r
¬p ¬q ((p ! q)
p q (p q
Alfabeto
Introducción
Subfórmulas
Índice
Introducción

Alfabeto
Subfórmulas

Tablas de Verdad
Asignaciones
Nociones lógicas

Alfabeto
Introducción
Subfórmulas
Convenciones notacionales
Podemos eliminar los siguientes paréntesis:
I Los externos de cualquier fórmula. Ejemplos:
I (p _ t) ! (q ^ ¬r ) en lugar de ((p _ t) ! (q ^ ¬r )).
I ¬p ^ q en lugar de (¬p ^ q) pero no en lugar de ¬(p ^ q).
I Los internos en conjunciones y disyunciones iteradas. Ejemplos:
I p ^ q ^ r en lugar de (p ^ q) ^ r y de p ^ (q ^ r ).
I Pero p ^ (q _ r ) o (p ^ q) _ r y no p ^ q _ r
I Los internos en condicionales y bicondicionales iterados y
agrupados por la derecha Ejemplo:
I p ! q ! r en lugar de p ! (q ! r ) no por (p ! q) ! r .

Alfabeto
Introducción
Subfórmulas
Convenciones notacionales (Continuación)

I El condicional y bicondicional dominan al conjuntor y
disyuntor y estos a su vez dominan al negador :
!y$
^y_
¬
Ejemplos:
I ¬p ^ q ! r en lugar de (¬p ^ q) ! r pero
no en lugar de ¬(p ^ q) ! r ni de ¬p ^ (q ! r ).
I ¬p ^ ¬q $ ¬(p _ q) en lugar de (¬p ^ ¬q) $ ¬(p _ q) pero
no por ¬p ^ ¬(q $ ¬(p _ q)) ni ¬(p ^ ¬q) $ ¬(p _ q)

Introducción Tablas de Verdad
Sintaxis de la Lógica Proposicional Asignaciones
Semántica de la Lógica Proposicional Nociones lógicas
Índice
Introducción

Alfabeto
Subfórmulas

Tablas de Verdad
Asignaciones
Nociones lógicas

Principio de Bivalencia
Principio de Bivalencia
Todo enunciado es verdadero o falso, tiene uno de los dos valores
de verdad y solo uno.
Usaremos las letras V y F para indicar los valores de verdad:
V por verdadero y F por falso.
(Podríamos haber usado cualesquiera dos otros indicadores.

Se obtiene una presentación especialmente elegante de la semántica
de la lógica proposicional si se eligen a 0 y 1 como indicadores de la
falsedad y la verdad respectivamente).

Interpretación de los símbolos
Interpretación de los símbolos del alfabeto

I Símbolos auxiliares: Puntuación. Carecen de interpretación.
I Letras propsicionales: Son variables para enunciados simples.
Un valor de verdad (V , F ) arbitrario e indistinto. (Lo que nos
importa no es si el enunciado por el que están es V o F sino
que pasaría con, por ejemplo, los argumentos si el enunciado
por el que están fuese V o fuese F ).
I Conectivas lógicas: Su función sintáctica es generar fórmulas
complejas a partir de fórmulas simples. Su función semántica
es “transmitir” los valores de verdad de las fórmulas simples a
la fórmula compleja generada según las siguientes tablas:

Interpretación de los símbolos. Tablas de Verdad
Negación
' ¬' Una negación es F si y solo si la fórmula
V F negada es V y viceversa.
F V
Conjunción
' (' ^ ) Una conjunción es V si y solo si ambas
V V V fórmulas son V .
V F F Es F en cualquier otro caso; i.e., si alguna
F V F de las fórmulas es F .
F F F


Disyunción
' (' _ ) Una disyunción es F si y solo ambas
V V V fórmulas son F .
V F V Es V en cualquier otro caso; i.e., si alguna
F V V de las fórmulas es V .
F F F
Condicional
' (' ! ) Un condicional es F si y solo si su
V V V antencedente es V y su consecuente F .
V F F Es V en cualquier otro caso; i.e., si su
F V V antencedente es F o su consecuente es V .
F F V
Bicondicional
' (' $ ) Un bicondicional es V si y solo si ambas
V V V fórmulas tienen el mismo valor de verdad:
V F F son ambas V o ambas F .
F V F Es F en cualquier otro caso; i.e., cuando
F F V tienen distinto valor de verdad.

Observación
Las conectivas lógicas son veritativo–funcionales: el valor de verdad
de una fórmula compleja está en función, depende única y
exclusivamente, del valor de verdad de las fórmulas más simples que
la componen.
Dicho de otro modo, dada una fórmula compleja y dados unos
valores de verdad a las letras proposicionales que la componen, el
valor de verdad de la fórmula compleja está completamente
determinado.


Observación (Continuación)
El hecho de que las conectivas sean veritativo–funcionales nos
permite construir las tablas de verdad de las fórmulas: una tabla
que nos dice el valor de verdad de la fórmula compleja bajo
cualquier combinación de valores de verdad de las letras
proposicionales que la componen.
Ejemplo
p q ¬p q ! ¬p p ^ (q ! ¬p)
V V F F F
V F F V V
F V V V F
F F V V F
¿Cómo construir la tabla de verdad de '?
Pasos a seguir
1. Hallar todas las subfórmulas de '.
2. Colocar las subfórmulas ordenadas (por complejidad o
construcción) en la fila inicial de la tabla.
3. Buscar todas las posibles combinaciones de valores de verdad
de las letras proposicionales de '.
4. Aplicar las tablas de verdad de las conectivas columna a
columna hasta llegar a completar la última columna.


Pasos a seguir
1. Hallar todas las subfórmulas de '.
2. Colocar las subfórmulas ordenadas (por complejidad o
construcción) en la fila inicial de la tabla.
3.1 Si en ' aparecen n letras, habrá 2n combinaciones.
3.2 Para computar todas las combinaciones ponemos bajo la 1a
letra la 12 de V seguidos de 12 de F , bajo la 2a una 14 de V
seguidos de 14 de F ... y así sucesivamente hasta la última letra
bajo la cual pondremos V , F , V , F .....
4. Aplicar las tablas de verdad de las conectivas columna a
columna hasta llegar a completar la última columna.

La tabla de p _ q ! p ^ ¬r
1. Calculamos las subfórmulas de p _ q ! p ^ ¬r :
p, q, r , p _ q, ¬r , p ^ ¬r y p _ q ! p ^ ¬r .
2. Por complejidad (de más simple a más compleja):
p q r ¬r p_q p ^ ¬r p _ q ! p ^ ¬r
2’ Por construcción (según las necesitamos para obtener '):
p q r p_q ¬r p ^ ¬r p _ q ! p ^ ¬r
3. En ' hay 3 letras proposicionales (p, q y r ):
3.1 Habrá 23 = 8 combinaciones posibles de valores de verdad
3.2 Colocaremos 4 V seguido de 4 F bajo la p.
3.3 Colocaremos 2 V , 2 F , 2 V y 2 F bajo la q.
3.4 Colocaremos 1 V , 1 F , 1 V , 1 F ... bajo la r (la última).

p q r ¬r p_q p ^ ¬r p _ q ! p ^ ¬r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F


p q r ¬r p_q p ^ ¬r p _ q ! p ^ ¬r
V V V F
V V F V
V F V F
V F F V
F V V F
F V F V
F F V F
F F F V


p q r ¬r p_q p ^ ¬r p _ q ! p ^ ¬r
V V V F V
V V F V V
V F V F V
V F F V V
F V V F V
F V F V V
F F V F F
F F F V F


p q r ¬r p_q p ^ ¬r p _ q ! p ^ ¬r
V V V F V F
V V F V V V
V F V F V F
V F F V V V
F V V F V F
F V F V V F
F F V F F F
F F F V F F


p q r ¬r p_q p ^ ¬r p _ q ! p ^ ¬r
V V V F V F F
V V F V V V V
V F V F V F F
V F F V V V V
F V V F V F F
F V F V V F F
F F V F F F V
F F F V F F V


p q r ¬r p_q p ^ ¬r p _ q ! p ^ ¬r
V V V F V F F
V V F V V V V
V F V F V F F
V F F V V V V
F V V F V F F
F V F V V F F
F F V F F F V
F F F V F F V

La tabla de p ^ q ! r ! ¬(p _ s)
1. Buscar las subfórmulas de p ^ q ! r ! ¬(p _ s):
p, q, r , s,
p ^ q, p _ s, ¬(p _ s), r ! ¬(p _ s) y
p ^ q ! r ! ¬(p _ s).
2. Ordenar las subfórmulas de p ^ q ! r ! ¬(p _ s)

p q r s p^q p_s ¬(p _ s) r ! ¬(p _ s) '

p q r s p^q p_s ¬(p _ s) r ! ¬(p _ s) '
V V V V V V F F F
V V V F V V F F F
V V F V V V F V V
V V F F V V F V V
V F V V F V F F V
V F V F F V F F V
V F F V F V F V V
V F F F F V F V V
F V V V F V F F V
F V V F F F V V V
F V F V F V F V V
F V F F F F V V V
F F V V F V F F V
F F V F F F V V V
F F F V F V F V V
F F F F F F V V V
Índice
Introducción

Alfabeto
Subfórmulas

Tablas de Verdad
Asignaciones
Nociones lógicas

El problema con las tablas de verdad
Observación
Las tablas de verdad de las fórmulas son la base de la semántica de
la lógica proposicional pero no permiten hacer definiciones
acceptables:
Ejemplo
Intuïtivamente: dos fórmulas son equivalentes si y solo si “dicen” lo
mismo.
Parece natural definir fórmulas equivalentes como aquellas que
tienen la misma tabla de verdad.
Pero ...

Ejemplo (continuación 1)
I ¿Tienen (p ! q) y (r ! s) una tabla de verdad distinta?
p q p!q r s r !s
V V V V V V
V F F V F F
F V V F V V
F F V F F V
Parece que tienen la misma y sin embargo, no son equivalentes.

Ejemplo (continuación 2)
I ¿Tienen (p ^ q) ! (p ^ q) y (r _ ¬r ) la misma tabla?
p q p^q (p ^ q) ! (p ^ q)
V V V V r ¬r r _ ¬r
V F F V V F V
F V F V F V V
F F F V
Parece que tienen tablas distintas y sin embargo, sí son
equivalentes.

Asignaciones
Definición
Una asignación (de valores de verdad a las letras proposicionales) es
una función que asigna un valor de verdad a cada letra
proposicional.
Notación
I Empleamos , 0 , o también 0 , 1 , 2 ,... para las
asignaciones.
I Así dada una asignación y una letra proposicional p, con
(p) nos referimos al valor de verdad que corresponde a la
letra p por la asignación .
I Si (p) = V , p es verdadera bajo (la asignación)
I Si (p) = F , p es falsa bajo (la asignación) .

Asignaciones y tablas de verdad

Observación
En una tabla, cada combinación respresenta asignaciones.
Ejemplo
Asig. p q r ¬r p_q p ^ ¬r p _ q ! p ^ ¬r
1 ) V V V
2 ) V V F
3 ) V F V
4 ) V F F
5 ) F V V
6 ) F V F
7 ) F F V
8 ) F F F

Asignaciones
Observación
Toda asignación se extiende de una única manera a una asignación
de valores de verdad a todas las fórmulas.
Ejemplo
Asig. p q r ¬r p_q p ^ ¬r p _ q ! p ^ ¬r
1 ) V V V F V F F

Asignaciones
Notación
Dada una asignación y una fórmula ', con (') nos referimos al
valor de verdad que corresponde a la fórmula ' la asignación .
I Si (') = V , entonces ' es verdadera bajo (la asignación) o
satisface a '.
I Si (') = F , decimos que ' es falsa bajo (la asignación) o
que no satisface a '.

Asignaciones
Negación
⇢
V , si (') = F ' ¬'
(¬') = V F
F , si (') = V
F V
Conjunción
' (' ^ )
⇢
V , si (') = V y ( ) = V V V V
('^ ) =
F , en cualquier otro caso V F F
F V F
F F F

Asignaciones
Disyunción
' (' _ )
⇢
F , si (') = F y ( ) = F V V V
('_ ) =
V , en cualquier otro caso V F V
F V V
F F F
Condicional
' (' ! )
⇢
F , si (') = V y ( ) = F V V V
(' ! ) =
V , en cualquier otro caso V F F
F V V
F F V
Asignaciones
Bicondicional
' (' $ )
⇢
V , si (') = ( ) V V V
(' $ ) =
F , si (') 6= ( ) V F F
F V F
F F V

Asignaciones (con 0 y 1)
Asignaciones con 0 y 1
I (¬') = 1 (')
I (' ^ ) = mı́n{ ('), ( )}
I (' _ ) = máx{ ('), ( )}
I (' ! ) = máx{1 ('), ( )}
I (' $ ) = mı́n{máx{1 ('), ( )}, máx{ ('), 1 ( )}}

Índice
Introducción

Alfabeto
Subfórmulas

Tablas de Verdad
Asignaciones
Nociones lógicas

Tautologías y contradicciones. Definiciones
Definición
Sea ' una fórmula. Entonces
I ' es una tautología si y solo si es verdadera bajo toda
asignación: para toda , (') = V .
I ' es una contradicción si y solo si es falsa bajo toda
asignación: para toda , (') = F .
I ' es una fórmula contingente si y solo si no es ni una
tautología ni una contradiccón: existen 1 y 2 tales que
1 (') = F y 2 (') = V .

Tautologías y contradicciones. Ejemplos
Ejemplos
I p _ ¬p es una tautología.
p ¬p (p _ ¬p)
V F V
F V V
De hecho, ' _ ¬' es una tautología para toda fórmula '
(Principio del tercio excluso)
I p ^ ¬p es una contradicción.
p ¬p (p ^ ¬p)
V F F
F V F
De hecho, ' ^ ¬' es una contradicción para toda fórmula '.
Tautologías y contradicciones. Métodos de decisión
Métodos para comprobar el tipo de fórmula

Hay dos métodos:
1. Hacer la tabla de verdad de la fórmula.
2. La prueba indirecta.
Ejemplo
1. ¿Es (t ! (p ^ s)) ^ (q ! ¬p) ^ (r ! ¬s) ^ (r _ q) ! ¬t una
tautología?
2. ¿Es (p ! q) ^ ((q ! r ) ^ ¬(p ! r )) una contradicción?

Tautologías y contradicciones. Propiedades
Proposición 1
Toda fórmula es una tautología, una contradicción o una fórmula
contingente.
Proposición 2
1. La negación de una tautología es una contradicción.
2. La negación de una contradicción es una tautología.
3. La negación de una fórmula contingente es una fórmula
contingente.

Algunas tautologías
I Ley de Identidad: ' ! '.

I Principio del Tercio Excluso: ' _ ¬'.
I Principio de no Contradicción: ¬(' ^ ¬').
I Ley de Clavius: (¬' ! ') ! '.
I Ley de Pierce: ((' ! ) ! ') ! '.
I Modus Ponens: ((' ! ) ^ ') ! .
I Modus Tollens: ((' ! ) ^ ¬ ) ! ¬'.

Equivalencia. Definición
Definición
Sean ' y fórmulas cualesquiera. ' y son fórmulas
(tautológicamente) equivalentes si y solo si tienen el mismo valor
de verdad bajo cualquier asignación: para toda asignación ,
(') = ( ).
Notación
Dadas fórmulas ' y , escribimos ' ⌘ para indicar que son
equivalentes y escribimos ' 6⌘ para indicar que no lo son.

Equivalencia. Ejemplos
Ejemplos
I Cualesquiera dos tautologías son equivalentes. Por lo tanto,
((p ^ q) ! (p ^ q)) ⌘ (r _ ¬r ).
I Cualesquiera dos contradicciones también son equivalentes.
I Fórmulas contingentes distintas no tienen por qué ser
equivalentes.
I (p ! q) 6⌘ (r ! s).
I p 6⌘ q
I p 6⌘ ¬p. De hecho, para toda fórmula ', ' 6⌘ ¬'.

Equivalencia. Propiedades (1)
Proposición 3
Para cualesquiera fórmulas ' y
'⌘ si y solo si (' $ ) es una tautología.
Demostración
'⌘ syss para toda asignación , (') = ( )
syss para toda asignación , (' $ ) = V
syss (' $ ) es una tautología. ⇤

Equivalencia. Propiedades (y 2)
Proposición 4
Para cualesquiera fórmulas ', y
1. ' ⌘ ' (Reflexividad).
2. Si ' ⌘ , entonces ⌘ ' (Simetría).
3. Si ' ⌘ y ⌘ , entonces ' ⌘ (Transitividad).
Proposición 5. Principio de Sustitución de Fórmulas

Equivalentes
Si en una fórmula ' sustituimos una de sus subfórmulas por una
fórmula equivalente a obtendermos una fórmula equivalente a '.

Equivalencia. Métodos de decisión
Observación
I Usando la transitividad (Proposición 4.3) tenemos otro modo
de ver que dos fórmulas son equivalentes:
Para ver que ' ⌘ es suficiente encontrar fórmulas
1 , 2 , ..., n tales que
'⌘ 1 y 1 ⌘ 2 y ... y n ⌘
I El Principio de Sustitución de Fórmulas Equivalentes nos dice
como encontrar esta cadena de fórmulas 1 , . . ., n :
Empezamos con una de ellas (' p.ej.) y sustiuimos sus
subfórmulas por fórmulas equivalentes hasta obtener la
segunda ( en nuestro ejemplo)

Algunas equivalencias
1. Doble negación: ' ⌘ ¬¬' 6. Conjunción:

2. Asociatividad de ^ y _: 6.1 ' _ ⌘ ¬(¬' ^ ¬ ).
2.1 ' ^ ( ^ ) ⌘ (' ^ ) ^ 6.2 ' ! ⌘ ¬(' ^ ¬ ).
2.2 ' _ ( _ ) ⌘ (' _ ) _ 7. Disyunción:
3. Distribuitividad de ^ y _: 7.1 ' ^ ⌘ ¬(¬' _ ¬ ).
3.1 '^( _ ) ⌘ ('^ )_('^ ) 7.2 ' ! ⌘ ¬' _ .
3.2 '_( ^ ) ⌘ ('_ )^('_ ) 8. Condicional:
4. Leyes de De Morgan: 8.1 ' ^ ⌘ ¬(' ! ¬ ).
4.1 ¬(' ^ ) ⌘ (¬' _ ¬ ) 8.2 ' _ ⌘ ¬' ! .
4.2 ¬(' _ ) ⌘ (¬' ^ ¬ ) 9. Bicondicional: (' $ ) ⌘
5. ' ! ⌘ ¬ ! ¬'. (' ! ) ^ ( ! ')

Ejemplo de equivalencia
Ejemplo
¿Cómo comprobar que
¬(p ^ q) ! ¬((p ! ¬p) ^ ¬¬r ) ⌘ (¬p _ ¬q) ! ¬(¬p ^ r )?
¬(p ^ q) ! ¬((p ! ¬p) ^ ¬¬r ) ⌘ ¬(p ^ q) ! ¬(¬p ^ ¬¬r )

⌘ ¬(p ^ q) ! ¬(¬p ^ r )
⌘ (¬p _ ¬q) ! ¬(¬p ^ r )
Luego ambas fórmulas sí son eqivalentes.

Satisfacibilidad. Definición
La satisfacibilidad es una propiedad de conjuntos de fórmulas.
Notación
Usaremos las letras griegas mayúsculas ⌃, , con posibles
subíndices, ⌃0 , ⌃1 , ⌃2 , ..., para indicar los conjuntos de fórmulas.
Definición
Sea ⌃ un conjunto de fórmulas.
I ⌃ es satisfacible si y solo si hay una asignación que hace
verdaderas a todas las fórmulas del conjunto:
Existe tal que para toda fórmula ' 2 ⌃, (') = V .
I ⌃ es insatisfacible si y solo si no existe una asignación tal:
Para toda existe una fórmula ' 2 ⌃ tal que (') = F .

Satisfacibilidad. Ejemplos
Ejemplos
I El conjunto ⌃ = {p, q ! (r _ ¬t), ¬p} es insatisfacible.
Pues no existe tal que (p) = V = (¬p)
I El conjunto = {q _ ¬p, q ! ¬r , p ^ r } es insatisfacible.
Si (p ^ r ) = V , (r ) = V = (p).
Como (¬r ) = F y (q ! ¬r ) = V , (q) = F .
Entonces, (q) = F y (¬p) = F y así (q _ ¬p) = F
I El conjunto = {p ! (q ! ¬r ), p ^ (q _ ¬r )} es satisfacible.
Si (p) = V , (q) = V y (r ) = F , entonces
(p ! (q ! ¬r )) = V y (p ^ (q _ ¬r )) = V

Satisfacibilidad. Definición
Definición
Sea ' una fórmula. ' es satisfacible si y solo si {'} es un conjunto
satisfacible. En caso contrario, si {'} es insatisfacible, entonces '
es insatisfacible.
8
< Tautologías
Satisfacibles
Fórmulas F. Contingentes
:
Contradicciones = Insatisfacibles

Satisfacibilidad. Propiedades
Proposición 6
1. ' es insatisfacible si y solo si ' es una contradicción.
2. ⌃ = {'1 , . . . , 'n } es insatisfacible si y solo si '1 ^ . . . ^ 'n es
una contradicción.
Demostración
⌃ es insatisfacible syss no hay t.q. ('1 ) = V y ... y ('n ) = V
syss no hay t.q. ('1 ^ . . . ^ 'n ) = V
syss '1 ^ . . . ^ 'n es una contradicción. ⇤

Consecuencia. Definición
Definición
Un conjunto de fórmulas ⌃ implica a ' o ' es consecuencia
(tautológica) de ⌃, si y solo si toda asignación que satisface a
todas la fórmulas de ⌃ también satisface a ':
Para toda , si para toda 2 ⌃, ( ) = V , entonces (') = V .
Si existe al menos una asignación tal que satisface a todas las

fórmulas de ⌃ pero no a ' entonces ⌃ no implica a ' o ' no es
consecuencia de ⌃:
Existe tal que para toda 2 ⌃, ( ) = V y (') = F .

Consecuencia. Notación
Notación
1. Si ⌃ implica a ' escribimos ⌃ |= '. Escribimos ⌃ 6|= ' en caso
contrario.
2. Si { } |= ' escribimos |= ' y decimos que implica a ' (o
que ' es consecuencia de . En caso contrario, si { } 6|= ',
escribimos 6|= ' y decimos que no implica a ' (o que ' no
es consecuencia de ).
3. Escribimos |= ' (o 6|= ') en lugar de ; |= ' (; 6|= ',
respectivamente).

Consecuencia. Ejemplos (1)
Ejemplos
1. {p ! q, p _ q} |= q.
Si (p _ q) = V , (p) = V o (q) = V
I Si (p) = V , como (p ! q) = V , (q) = V .
I Si (q) = V , entonces ya tenemos que (q) = V .
En cualquier caso (q) = V .
2. Pero, p ! q 6|= q.
Si (p) = (q) = F , (p ! q) = V y (q) = F .
3. Y p _ q 6|= q.
Si (p) = V y (q) = F , (p _ q) = V y (q) = F .

Consecuencia. Ejemplos (y 2)
Ejemplos (Cont.)
2. {p $ q, r $ (p ^ q)} |= p $ r .
i) Como (p $ q) = V , (p) = (q).
ii) Como (p) = (q), (p) = (p ^ q).
iii) Como (r $ (p ^ q)) = V , (r ) = (p ^ q).
iv) Luego, (r ) = (p) y así, (p $ r ) = V
3. {p $ q, r $ (p ^ q)} 6|= p ^ r .
Pues si (p) = (q) = (r ) = F entonces
(p $ q) = V y (r $ (p ^ q)) = V y (p ^ r ) = F .

Consecuencia. Propiedades (1)
Proposición 7
1. Si ' 2 ⌃, ⌃ |= '. En particular, ' |= '. (Reflexividad)
Intuitivamente: Un argumento cuya conclusión sea la
repetición de una de sus premisas es válido.
2. Si ⌃ |= ' y ⌃ ✓ , entonces |= '. (Monotonia)
Intuitivamente: Añadir premisas a un argumento válido
preserva la validez. No podemos convertir en inválido un
argumento que es válido añadiendo premisas.
3. Si ⌃ |= ' y para toda 2 ⌃, |= , entonces |= '.
En particular, si |= y |= ', |= '. (Transitividad)
Generaliza (2): No es necesario que incluya todas las
premisas de ⌃, basta con que las implique.
Proposición 8
{ 1 , . . . , n } |= ' syss ( 1 ^ .... ^ n ) ! ' es una tautología.
En particular, |= ' si y solo si ! ' es una tautología.
Demostración
Sea ⌃ = { 1 , . . . , n }.
⌃ |= ' syss no hay t.q. ( 1 ) = V y ... y ( n ) = V y (') = F
syss no hay t.q. ( 1 ^ . . . ^ n ) = V y (') = F
syss no hay t.q. (( 1 ^ . . . ^ n ) ! ') = F
syss (( 1 ^ . . . ^ n ) ! ') es una tautología. ⇤

Proposición 9
' es una tautología si y solo si para todo ⌃, ⌃ |= '.
En particular, ' es una tautología si y solo si para toda , |= '.
Es decir, una tautología es consecuencia de cualquier conjunto.
Intiuitivamente: Un argumento cuya conclusión sea un enunciado
necesariamente verdadero será siempre válido
Proposición 10
⌃ es insatisfacible si y solo si para toda , ⌃ |= .
En particular, ' es una contradicción si y solo si para toda ,
' |= .
Es decir, una contradicción implica cualquier fórmula.
Intuitivamente: Un argumento que parta de una contradicción será
necesariamente válido.
Proposición 11
1. ' ⌘ si y solo si ' |= y |= '.
2. ' ⌘ si y solo si para toda , ' |= si y solo si |= .
3. ' ⌘ si y solo si para toda , |= ' si y solo si |= .
Es decir: ' y son fórmulas equivalentes es lo mismo que:

1. ' y se implican mútuamente, se coimplican.
2. ' y tienen exáctamente las mismas consecuencias.
3. ' y son consecuencia de exáctamente las mismas fórmulas
(y de hecho, de los mismos conjuntos de fórmulas)


Notación
Sean ⌃ un conjunto y ' una fórmula. Con ⌃ [ {'}, leído ⌃ unión
(el conjunto unitario de) ' nos referimos al conjunto que se obtiene
al añadir a ⌃ la fórmula '.
Ejemplos
1. Si ⌃ = {p, q, r }, entonces
⌃ [ {¬(p ^ q)} = {p, q, r , ¬(p ^ q)}.
2. Si ⌃ = {p ! q, r } entonces
⌃ [ {p ! q} = {p ! q, r }.

Consecuencia. Propiedades (y 6)
Proposición 12
⌃ |= ' si y solo si ⌃ [ {¬'} es insatisfacible.
Demostración:
⌃ |= ' syss no hay una tal que (⌃) = V 1 y (') = F
syss no hay una tal que (⌃) = V y (¬') = V
syss no hay una tal que (⌃ [ {¬'}) = V
syss ⌃ [ {¬'} es insatisfacible. ⇤
1 Donde “ (⌃) = V ” abrevia “para toda 2 ⌃, ( ) = V ”.

Tema 2 Conectivas

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Tema 2 Conectivas

Cargado por

Copyright:

Formatos disponibles

Introducción

Sintaxis de la Lógica Proposicional

R. Bosch Lógica Proposicional

Sintaxis de la Lógica Proposicional

Semántica de la Lógica Proposicional

R. Bosch Lógica Proposicional

¿Por qué “Lógica Proposicional”?

¿Por qué “Lógica Proposicional”?

R. Bosch Lógica Proposicional

Especificaremos un lenguaje perfecto para el análisis de los

R. Bosch Lógica Proposicional

Dividimos el estudio del Lenguaje de la Lógica Proposicional en dos

R. Bosch Lógica Proposicional

Sintaxis de la Lógica Proposicional

Semántica de la Lógica Proposicional

R. Bosch Lógica Proposicional

El alfabeto de la Lógica Proposicional

p0 , p1 , p2 , ..., pn , ... (n 2 N).

2. Las cinco conectivas lógicas: ¬, ^, _, ! y $.

R. Bosch Lógica Proposicional

Observaciones sobre el alfabeto

I Las letras proposicionales son variables que estan por

R. Bosch Lógica Proposicional

Observaciones sobre el alfabeto

Símbolo Nombre Lectura Alternativas

R. Bosch Lógica Proposicional

Observaciones sobre el alfabeto

La función de los símbolos auxiliares es evitar la ambigüedad en los

R. Bosch Lógica Proposicional

Sintaxis de la Lógica Proposicional

Semántica de la Lógica Proposicional

R. Bosch Lógica Proposicional

R. Bosch Lógica Proposicional

R. Bosch Lógica Proposicional

R. Bosch Lógica Proposicional

Observaciones sobre la definición de fórmula

Nomenclatura de las fórmulas complejas

R. Bosch Lógica Proposicional

Observaciones sobre la definición de fórmula

Una fórmula es cualquier expresión de la lógica proposicional que

R. Bosch Lógica Proposicional

Observaciones sobre la definición de fórmula

R. Bosch Lógica Proposicional

¿Cómo determinar si una expresión es una fórmula?

Obteniéndola mediante las reglas F1–F4

R. Bosch Lógica Proposicional

¿Cómo determinar si una expresión es una fórmula?

Obteniéndola mediante las reglas F1–F4

R. Bosch Lógica Proposicional

¿Cómo determinar si una expresión es una fórmula?

Obteniéndola mediante las reglas F1–F4

R. Bosch Lógica Proposicional

¿Cómo determinar si una expresión es una fórmula?

Obteniéndola mediante las reglas F1–F4

R. Bosch Lógica Proposicional

¿Cómo determinar si una expresión es una fórmula?

R. Bosch Lógica Proposicional

¿Cómo determinar si una expresión es una fórmula?

Obteniéndola mediante las reglas F1–F4

R. Bosch Lógica Proposicional

¿Cómo determinar si una expresión es una fórmula?

Obteniéndola mediante las reglas F1–F4

6. ((p ^ q) $ (¬p _ ¬s)) lo es por F3(d) aplicada a 2 y 5.