1.

Interpretar las fórmulas

2. El método de las tablas de verdad
3. Tipos de fórmula
4. Equivalencia entre fórmulas
5. Conjuntos satisfacibles e insatisfacibles

Semántica de la Lógica proposicional

Semántica de la Lógica proposicional

 1. Interpretar las fórmulas
2. El método de las tablas de verdad
3. Tipos de fórmula
4. Equivalencia entre fórmulas
5. Conjuntos satisfacibles e insatisfacibles
1.1 Fórmulas
1.2 Interpretación del lenguaje de la lógica proposicional
1.3 Modelos y contramodelos de una fórmula

Fórmulas de la lógica proposicional

Tenemos un criterio bien definido para determinar qué es una fórmula del
lenguaje de la lógica proposicional. Véase la Definición 3.2.2.(Molina)
Ejemplos de fórmulas: p1 , p5 , (p1 → ¬p5 ), etc.
Fórmula atómica: una fórmula es atómica si consiste de una letra propo-
sicional, es decir, que se trata de una fórmula sin conectivos lógicos, por
ejemplo: p3 .
Fórmula compuesta: una fórmula es compuesta si en ella aparece por lo
menos un conectivo lógico, por ejemplo: (p1 ∧ p2 ), ¬p2 y (p1 → ¬p2 ).
Una interpretación le asigna un único valor de verdad a cada una de las
fórmulas del lenguaje. Dicho de otro modo, cualquier fórmula será verda-
dera (o falsa) según una determinada interpretación. Una fórmula puede
ser verdadera en una interpretación y falsa en otra interpretación.
A continuación vamos a definir formalmente el concepto de Interpretación
para el lenguaje de la lógica proposicional.

Semántica de la Lógica proposicional

 1. Interpretar las fórmulas
2. El método de las tablas de verdad
3. Tipos de fórmula
4. Equivalencia entre fórmulas
5. Conjuntos satisfacibles e insatisfacibles
1.1 Fórmulas
1.2 Interpretación del lenguaje de la lógica proposicional
1.3 Modelos y contramodelos de una fórmula

Interpretación del lenguaje de la lógica proposicional

Definición de la Interpretación de LP

Una Interpretación I es una asignación de un único valor de verdad a cada

una de las fórmulas del lenguaje, respetando las siguientes condiciones
(siendo A y B dos fórmulas cualquiera de LP):
1. I le asigna un valor de verdad a cada letra proposicional.
2. I (¬A) = V si y sólo si I (A) = F.
3. I (A ∧ B) = V si y sólo si I (A) = V y I (B) = V.
4. I (A ∨ B) = V si y sólo si I (A) = V o I (B) = V.
5. I (A → B) = F si y sólo si I (A) = V y I (B) = F.
6. I (A ↔ B) = V si y sólo si I (A) = I (B).

Semántica de la Lógica proposicional

 1. Interpretar las fórmulas
2. El método de las tablas de verdad
3. Tipos de fórmula
4. Equivalencia entre fórmulas
5. Conjuntos satisfacibles e insatisfacibles
1.1 Fórmulas
1.2 Interpretación del lenguaje de la lógica proposicional
1.3 Modelos y contramodelos de una fórmula

Tabla de verdad para cada conectivo:

A B (A ∧ B) A B (A → B)
V V V V V V
V F F V F F
F V F F V V
F F F F F V
A ¬A
V F
F V A B (A ∨ B) A B (A ↔ B)
V V V V V V
V F V V F F
F V V F V F
F F F F F V

Semántica de la Lógica proposicional

 1. Interpretar las fórmulas
2. El método de las tablas de verdad
3. Tipos de fórmula
4. Equivalencia entre fórmulas
5. Conjuntos satisfacibles e insatisfacibles
1.1 Fórmulas
1.2 Interpretación del lenguaje de la lógica proposicional
1.3 Modelos y contramodelos de una fórmula

Observaciones:

ˆ Las condiciones que debe cumplir la interpretación respecto del comporta-

miento semántico de cada conectivo lógico quedan resumidas mediante la
tabla de verdad de cada conectivo.
ˆ Una interpretación I le asigna un valor de verdad a cada una de las fórmulas
del lenguaje, es decir, interpreta todas las fórmulas.
ˆ Si conocemos el valor de verdad que una interpretación I le asigna a las
letras proposicionales que aparecen en una determinada fórmula A, entonces
podemos calcular el valor de verdad de A según dicha interpretación I .
ˆ Por ejemplo, sea I una interpretación tal que I (p1 ) = V y I (p2 ) = F ,
podemos calcular el valor valor de verdad que dicha interpretación I le
asigna a la fórmula (p1 → ¬p2 ), en este caso I (p1 → ¬p2 ) = V
ˆ Para calcular el valor de verdad de una fórmula compuesta a partir del valor
de verdad de las letras proposicionales, debemos aplicar la definición de
interpretación. El valor de verdad de cualquier fórmula compuesta se
calcula mediante el valor de verdad de las fórmulas que la componen.

Semántica de la Lógica proposicional

 1. Interpretar las fórmulas
2. El método de las tablas de verdad
3. Tipos de fórmula
4. Equivalencia entre fórmulas
5. Conjuntos satisfacibles e insatisfacibles
1.1 Fórmulas
1.2 Interpretación del lenguaje de la lógica proposicional
1.3 Modelos y contramodelos de una fórmula

Ejemplo: calcular el valor de verdad de una fórmula compuesta

Consideremos la interpretación I tal que I (p1 ) = V y I (p2 ) = F . Calculemos
el valor de verdad de la fórmula (p1 → ¬p2 ) según dicha interpretación.
Consideremos el árbol de formación de la fórmula (p1 → ¬p2 ):
(p1 → ¬p2 )

p1 ¬p2

p2

El valor de verdad de la fórmula (p1 → ¬p2 ) se calcula aplicando la tabla

de verdad del condicional sobre el valor de verdad que I le asigna a p1 (que
ya sabemos que es V) y sobre el valor de verdad que I le asigna a ¬p2 .
Es decir, para calcular el valor de verdad de (p1 → ¬p2 ) antes precisamos
calcular el valor de verdad de ¬p2 , según la interpretación I .

Semántica de la Lógica proposicional

 1. Interpretar las fórmulas
2. El método de las tablas de verdad
3. Tipos de fórmula
4. Equivalencia entre fórmulas
5. Conjuntos satisfacibles e insatisfacibles
1.1 Fórmulas
1.2 Interpretación del lenguaje de la lógica proposicional
1.3 Modelos y contramodelos de una fórmula

...sigue el ejemplo

El valor de verdad que I le asigna a ¬p2 se calcula aplicando la tabla de

verdad de la negación sobre el valor de verdad que I le asigna a p2 . Dado
que I (p2 ) = F , aplicamos la tabla de verdad de la negación y obtenemos
que I (¬p2 ) = V .
Luego, dado que I (p1 ) = V y I (¬p2 ) = V , luego aplicamos la tabla de
verdad del condicional (antecedente verdadero y consecuente verdadero, es
decir, el primer caso de la tabla) y obtenemos que I (p1 → ¬p2 ) = V .
El valor de verdad de la fórmula (p1 → ¬p2 ) es verdadero para la interpre-
tación I .
Podemos resumir el cálculo en la siguiente tabla:
p1 p2 ¬p2 (p1 → ¬p2 )
V F V V

La tabla anterior nos permite justificar que para la interpretación I tal que
I (p1 ) = V y I (p2 ) = F , es cierto que I (p1 → ¬p2 ) = V .

Semántica de la Lógica proposicional

 1. Interpretar las fórmulas
2. El método de las tablas de verdad
3. Tipos de fórmula
4. Equivalencia entre fórmulas
5. Conjuntos satisfacibles e insatisfacibles
1.1 Fórmulas
1.2 Interpretación del lenguaje de la lógica proposicional
1.3 Modelos y contramodelos de una fórmula

Modelo de una fórmula de LP

Sea I una interpretación que asigna el valor de verdad V a una fórmula

A, decimos que I es un modelo de A.

Contramodelo de una fórmula de LP

Sea I una interpretación que asigna el valor de verdad F a una fórmula

A, decimos que I es un contramodelo de A.

Semántica de la Lógica proposicional

 1. Interpretar las fórmulas
2. El método de las tablas de verdad
3. Tipos de fórmula
4. Equivalencia entre fórmulas
5. Conjuntos satisfacibles e insatisfacibles
1.1 Fórmulas
1.2 Interpretación del lenguaje de la lógica proposicional
1.3 Modelos y contramodelos de una fórmula

Ejemplos:

1. La interpretación I tal que I (p1 ) = V y I (p2 ) = F es un modelo de la

fórmula (p1 → ¬p2 ).
Como mostramos anteriormente, podemos justificar la afirmación mediante
la siguiente tabla:
p1 p2 ¬p2 (p1 → ¬p2 )
V F V V

2. La interpretación I tal que I (p1 ) = V y I (p2 ) = V es un contramodelo de

la fórmula (p1 → ¬p2 ).
Justificamos la afirmación mediante la siguiente tabla:
p1 p2 ¬p2 (p1 → ¬p2 )
V V F F

Semántica de la Lógica proposicional

 1. Interpretar las fórmulas
2. El método de las tablas de verdad
2.1 Tabla de verdad completa
3. Tipos de fórmula
2.2 Tabla de verdad parcial
4. Equivalencia entre fórmulas
5. Conjuntos satisfacibles e insatisfacibles

¿Para qué nos sirve el método de la tabla de verdad?

ˆ Realizar una tabla de verdad completa para una determinada fórmula

nos permitirá determinar el valor de verdad de dicha fórmula en todas las
interpretaciones.

ˆ Las tablas de verdad se pueden realizar mediante un procedimiento com-

pletamente determinado (mecánico), es decir, no hace falta inventiva,
simplemente debemos seguir con cuidado el método para realizar una tabla
de verdad.

ˆ Como veremos un poco más adelante, hay problemas para los cuales no
hace falta realizar la tabla de verdad completa y nos alcanza con realizar
una tabla de verdad parcial, es decir, nos alcanza con realizar la tabla de
verdad para algunas interpretaciones (algunas filas).

Semántica de la Lógica proposicional

 1. Interpretar las fórmulas
2. El método de las tablas de verdad
2.1 Tabla de verdad completa
3. Tipos de fórmula
2.2 Tabla de verdad parcial
4. Equivalencia entre fórmulas
5. Conjuntos satisfacibles e insatisfacibles

¿Cómo se construye una tabla de verdad ?

Para realizar una tabla de verdad completa para una fórmula A debemos:
1. Dibujar una tabla con una columna por cada una de las letras proposicionales
que aparecen en la fórmula A y una columna por cada una de las subfórmulas
de la fórmula A (incluyendo una columna para la fórmula A).
2. Luego, dibujar una fila por cada posible situación, por ejemplo, si tenemos
una fórmula en la que aparece p1 y p2 debemos considerar cuatro posibles
situaciones, i) cuando p1 es verdadera y p2 es verdadera, ii) cuando p1 es
verdadera y p2 es falsa, iii) cuando p1 es falsa y p2 es verdadera, y iv) cuando
p1 es falsa y p2 es falsa.
3. Finalmente, por cada una de las filas, debemos calcular ordenadamente el
valor de verdad de cada subfórmula, es decir, respetando el orden que nos
impone la estructura sintáctica de la fórmula (realice el árbol de formación)
hasta llegar a calcular el valor de la fórmula A.

Semántica de la Lógica proposicional

 1. Interpretar las fórmulas
2. El método de las tablas de verdad
2.1 Tabla de verdad completa
3. Tipos de fórmula
2.2 Tabla de verdad parcial
4. Equivalencia entre fórmulas
5. Conjuntos satisfacibles e insatisfacibles

Observaciones

ˆ Claramente, si la fórmula tiene 2 letras proposicionales, su tabla de verdad

completa tendrá 4 filas. Si la fórmula tiene 3 letras proposicionales, su tabla
de verdad completa tendrá 8 filas. Si la fórmula tiene 4 letras proposicionales,
su tabla de verdad completa tendrá 16 filas. Y ası́ sucesivamente. Dicho con
un poco de aritmética, si la fórmula tiene N letras proposicionales, la tabla
de verdad correspondiente tendrá 2N filas.
ˆ Cuando decimos “realizar la tabla de verdad de la fórmula A”, se asume
que debemos realizar la tabla de verdad completa.

Semántica de la Lógica proposicional

 1. Interpretar las fórmulas
2. El método de las tablas de verdad
2.1 Tabla de verdad completa
3. Tipos de fórmula
2.2 Tabla de verdad parcial
4. Equivalencia entre fórmulas
5. Conjuntos satisfacibles e insatisfacibles

Ejemplo 1

Realicemos la tabla de verdad (completa) de la fórmula ¬(¬p1 → p2 ).

Lo primero que vamos a hacer es el árbol de formación, porque nos permitirá

ver la cantidad de columnas de la tabla y el orden en que debemos realizar el
cálculo.

Semántica de la Lógica proposicional

 1. Interpretar las fórmulas
2. El método de las tablas de verdad
2.1 Tabla de verdad completa
3. Tipos de fórmula
2.2 Tabla de verdad parcial
4. Equivalencia entre fórmulas
5. Conjuntos satisfacibles e insatisfacibles

...sigue Ejemplo 1

¬(¬p1 → p2 )

(¬p1 → p2 )

¬p1 p2

p1

Semántica de la Lógica proposicional

 1. Interpretar las fórmulas
2. El método de las tablas de verdad
2.1 Tabla de verdad completa
3. Tipos de fórmula
2.2 Tabla de verdad parcial
4. Equivalencia entre fórmulas
5. Conjuntos satisfacibles e insatisfacibles

...sigue Ejemplo 1

p1 p2 ¬p1 (¬p1 → p2 ) ¬(¬p1 → p2 )

V V F V F
V F F V F
F V V V F
F F V F V

Semántica de la Lógica proposicional

 1. Interpretar las fórmulas
2. El método de las tablas de verdad
2.1 Tabla de verdad completa
3. Tipos de fórmula
2.2 Tabla de verdad parcial
4. Equivalencia entre fórmulas
5. Conjuntos satisfacibles e insatisfacibles

Ejemplo 2
Realicemos la tabla de verdad de la fórmula
((p1 ∧ p2 ) ∨ (p1 ∧ ¬p3 )).

El árbol de formación de la fórmula es:

((p1 ∧ p2 ) ∨ (p1 ∧ ¬p3 ))

(p1 ∧ p2 ) (p1 ∧ ¬p3 )

p1 p2 p1 ¬p3

p3

Semántica de la Lógica proposicional

 1. Interpretar las fórmulas
2. El método de las tablas de verdad
2.1 Tabla de verdad completa
3. Tipos de fórmula
2.2 Tabla de verdad parcial
4. Equivalencia entre fórmulas
5. Conjuntos satisfacibles e insatisfacibles

...sigue Ejemplo 2

p1 p2 p3 (p1 ∧ p2 ) ¬p3 (p1 ∧ ¬p3 ) ((p1 ∧ p2 ) ∨ (p1 ∧ ¬p3 ))

V V V V F F V
V V F V V V V
V F V F F F F
V F F F V V V
F V V F F F F
F V F F V F F
F F V F F F F
F F F F V F F

Semántica de la Lógica proposicional

 1. Interpretar las fórmulas
2. El método de las tablas de verdad
2.1 Tabla de verdad completa
3. Tipos de fórmula
2.2 Tabla de verdad parcial
4. Equivalencia entre fórmulas
5. Conjuntos satisfacibles e insatisfacibles

Tabla de verdad parcial

Una tabla de verdad parcial es simplemente una tabla de verdad para algunas
interpretaciones, es decir, para algunas filas, en lugar de para todas las filas.
Por ejemplo, una tabla de verdad parcial para la fórmula ¬(¬p1 → p2 )
consistirı́a, por ejemplo, en:
p1 p2 ¬p1 (¬p1 → p2 ) ¬(¬p1 → p2 )
V V F V F
F F V F V

Como veremos a continuación realizar la tabla de verdad parcial es suficiente

en determinados problemas, por ejemplo, cuando queremos justificar que
una determinada fórmula es una contingencia (concepto que veremos a
continuación).

Semántica de la Lógica proposicional

 1. Interpretar las fórmulas
3.1 Tautologı́a
2. El método de las tablas de verdad
3.2 Contradicción
3. Tipos de fórmula
3.3 Contingencia
4. Equivalencia entre fórmulas
3.4 Ejemplos
5. Conjuntos satisfacibles e insatisfacibles

Tautologı́a

Tautologı́a

ˆ Una fórmula A es una tautologı́a si es verdadera en toda interpre-

tación.
ˆ Una fórmula A es una tautologı́a si verificamos que es verdadera
en todas las filas de su tabla de verdad (completa).

Semántica de la Lógica proposicional

 1. Interpretar las fórmulas
3.1 Tautologı́a
2. El método de las tablas de verdad
3.2 Contradicción
3. Tipos de fórmula
3.3 Contingencia
4. Equivalencia entre fórmulas
3.4 Ejemplos
5. Conjuntos satisfacibles e insatisfacibles

Contradicción

Contradicción

ˆ Una fórmula A es una contradicción si es falsa en toda interpreta-

ción.
ˆ Una fórmula A es una contradicción si verificamos que es falsa en
todas las filas de su tabla de verdad (completa).

Semántica de la Lógica proposicional

 1. Interpretar las fórmulas
3.1 Tautologı́a
2. El método de las tablas de verdad
3.2 Contradicción
3. Tipos de fórmula
3.3 Contingencia
4. Equivalencia entre fórmulas
3.4 Ejemplos
5. Conjuntos satisfacibles e insatisfacibles

Contingencia

Contingencia

ˆ Una fórmula A es una contingencia si es verdadera en al menos

una interpretación y es falsa en al menos una interpretación.
ˆ Una fórmula A es una contingencia si verificamos que hay al menos
una fila de su tabla de verdad en que es verdadera y al menos una
fila en que es falsa.
ˆ Para justificar que una fórmula A es una contingencia alcanza con
ofrecer una tabla de verdad parcial en la que aparece una fila en la
que A es verdadera y otra fila en que A es falsa.

Semántica de la Lógica proposicional

 1. Interpretar las fórmulas
3.1 Tautologı́a
2. El método de las tablas de verdad
3.2 Contradicción
3. Tipos de fórmula
3.3 Contingencia
4. Equivalencia entre fórmulas
3.4 Ejemplos
5. Conjuntos satisfacibles e insatisfacibles

Ejemplos

ˆ La fórmula ¬(¬p1 → p2 ) es una contingencia. Justificación:

p1 p2 ¬p1 (¬p1 → p2 ) ¬(¬p1 → p2 )
V V F V F
F F V F V

ˆ La fórmula ((p1 ∧ p2 ) ∨ (p1 ∧ ¬p3 )) es una contingencia. Justificación:

p1 p2 p3 (p1 ∧ p2 ) ¬p3 (p1 ∧ ¬p3 ) ((p1 ∧ p2 ) ∨ (p1 ∧ ¬p3 ))

V V V V F F V
V F V F F F F

Semántica de la Lógica proposicional

 1. Interpretar las fórmulas
3.1 Tautologı́a
2. El método de las tablas de verdad
3.2 Contradicción
3. Tipos de fórmula
3.3 Contingencia
4. Equivalencia entre fórmulas
3.4 Ejemplos
5. Conjuntos satisfacibles e insatisfacibles

Ejemplos

ˆ La fórmula (p1 ∨ ¬p1 ) es una tautologı́a. Justificación:

p1 ¬p1 (p1 ∨ ¬p1 )
V F V
F V V

ˆ La fórmula (p1 ∧ ¬p1 ) es una contradicción. Justificación:

p1 ¬p1 (p1 ∧ ¬p1 )
V F F
F V F

Semántica de la Lógica proposicional

 1. Interpretar las fórmulas
3.1 Tautologı́a
2. El método de las tablas de verdad
3.2 Contradicción
3. Tipos de fórmula
3.3 Contingencia
4. Equivalencia entre fórmulas
3.4 Ejemplos
5. Conjuntos satisfacibles e insatisfacibles

Observaciones

ˆ Observe que para justificar que una fórmula es una tautologı́a es necesario
realizar la tabla de verdad completa y verificar que la fórmula es verdadera
en todas las filas.
ˆ Observe que para justificar que una fórmula es una contradicción es nece-
sario realizar la tabla de verdad completa y verificar que la fórmula es falsa
en todas las filas.
ˆ Observe que para justificar que una fórmula es una contingencia alcanza
con realizar una tabla de verdad parcial en la que se muestra que la fórmula
es verdadera en una fila y falsa en otra fila.
ˆ En cualquier caso, tenemos un procedimiento mecánico, a saber, el
método de la tabla de verdad para determinar si una fórmula es tau-
tologı́a, contradicción o contingencia.

Semántica de la Lógica proposicional

 1. Interpretar las fórmulas
2. El método de las tablas de verdad
3. Tipos de fórmula
4. Equivalencia entre fórmulas
5. Conjuntos satisfacibles e insatisfacibles
4.1 Definición de equivalencia
4.2 Ejemplos
4.3 Conjuntos adecuados de conectivos

Definición de equivalencia entre fórmulas

Equivalencia entre fórmulas

ˆ Diremos que dos fórmulas A y B son equivalentes si y sólo si

(A ↔ B) es una tautologı́a. Dicho de otro modo, para cualquier
interpretación I, es cierto que I (A) = I (B).
ˆ Cuando dos fórmulas A y B son equivalentes escribimos A ≡ B.
ˆ Por supuesto, todas las tautologı́as son equivalentes entre sı́, y todas
las contradicciones son equivalentes entre sı́. Obviamente, NO todas
las contingencias son equivalentes entre sı́.

Semántica de la Lógica proposicional

 1. Interpretar las fórmulas
2. El método de las tablas de verdad
3. Tipos de fórmula
4. Equivalencia entre fórmulas
5. Conjuntos satisfacibles e insatisfacibles
4.1 Definición de equivalencia
4.2 Ejemplos
4.3 Conjuntos adecuados de conectivos

Equivalencias importantes

Doble negación: ¬¬p ≡ p

Conmutatividad de la conjunción: (p ∧ q) ≡ (q ∧ p)
Conmutatividad de la disyunción: (p ∨ q) ≡ (q ∨ p)
Distribución de ∧ por ∨: (p ∧ (q ∨ r )) ≡ ((p ∧ q) ∨ (p ∧ r ))
Distribución de ∨ por ∧: (p ∨ (q ∧ r )) ≡ ((p ∨ q) ∧ (p ∨ r ))
Equivalencia de De Morgan (1): ¬(p ∧ q) ≡ (¬p ∨ ¬q)
Equivalencia de De Morgan (2): ¬(p ∨ q) ≡ (¬p ∧ ¬q)
Equivalencia bicondicional: (p ↔ q) ≡ ((p → q) ∧ (q → p))
Condicional en términos de negación y disyunción: (p → q) ≡ (¬p ∨ q)
Contraposición (contrarrecı́proco): (p → q) ≡ (¬q → ¬p)

Semántica de la Lógica proposicional

 1. Interpretar las fórmulas
2. El método de las tablas de verdad
3. Tipos de fórmula
4. Equivalencia entre fórmulas
5. Conjuntos satisfacibles e insatisfacibles
4.1 Definición de equivalencia
4.2 Ejemplos
4.3 Conjuntos adecuados de conectivos

¿Podemos prescindir de algunos conectivos?

Podemos expresar cualquier fórmula en términos de conjunción y negación.

(Queda como ejercicio.)
Podemos expresar cualquier fórmula en términos de disyunción y negación.
(Queda como ejercicio.)
Podemos expresar cualquier fórmula en términos del condicional y la nega-
ción. (Queda como ejercicio.)
Esto quiere decir que desde un punto de vista formal no tenemos más poder
expresivo por tener más conectivos que la negación y el condicional. Sin
embargo, al tener más conectivos podemos expresar lo mismo con fórmulas
más simples y eso es una ventaja cognitiva importante.

Semántica de la Lógica proposicional

 1. Interpretar las fórmulas
2. El método de las tablas de verdad
3. Tipos de fórmula
4. Equivalencia entre fórmulas
5. Conjuntos satisfacibles e insatisfacibles
5.1 Conjunto satisfacible
5.2 Conjunto insatisfacible
5.3 Ejemplos

Conjunto satisfacible

Conjunto de fórmulas satisfacible

ˆ Un conjunto de fórmulas Γ es satisfacible si existe una interpreta-

ción I que es modelo del conjunto, es decir, que es modelo de cada
una de las fórmulas del conjunto.
ˆ Si se trata de un conjunto finito de fórmulas {A1 , A2 , · · · , AN }, el
conjunto es satisfacible si existe una interpretación I que es modelo
de la conjunción de todas las fórmulas del conjunto, es decir, que
es modelo de la fórmula (A1 ∧ A2 ∧ · · · ∧ AN ).

Semántica de la Lógica proposicional

 1. Interpretar las fórmulas
2. El método de las tablas de verdad
3. Tipos de fórmula
4. Equivalencia entre fórmulas
5. Conjuntos satisfacibles e insatisfacibles
5.1 Conjunto satisfacible
5.2 Conjunto insatisfacible
5.3 Ejemplos

Conjunto insatisfacible

Conjunto de fórmulas insatisfacible

ˆ Un conjunto de fórmulas Γ es insatisfacible si no existe una inter-

pretación I que sea modelo del conjunto, es decir, que no existe
una interpretación I que sea modelo de cada una de las fórmulas
del conjunto.
ˆ Si se trata de un conjunto finito de fórmulas {A1 , A2 , · · · , AN },
el conjunto es insatisfacible si no existe una interpretación I que
sea modelo de la conjunción de todas las fórmulas del conjunto, es
decir, que la fórmula (A1 ∧ A2 ∧ · · · ∧ AN ) es una contradicción.

Semántica de la Lógica proposicional

 1. Interpretar las fórmulas
2. El método de las tablas de verdad
3. Tipos de fórmula
4. Equivalencia entre fórmulas
5. Conjuntos satisfacibles e insatisfacibles
5.1 Conjunto satisfacible
5.2 Conjunto insatisfacible
5.3 Ejemplos

Observaciones

Observe que para mostrar que un conjunto finito es satisfacible alcanza con
ofrecer una tabla de verdad parcial (con una sola fila) en la que la conjunción
de todas las fórmulas del conjunto es verdadera.
Sin embargo, para mostrar que un conjunto finito es insatisfacible es ne-
cesario realizar la tabla de verdad completa de la conjunción de todas las
fórmulas del conjunto y mostrar que es falsa en cada una de las filas.

Semántica de la Lógica proposicional

 1. Interpretar las fórmulas
2. El método de las tablas de verdad
3. Tipos de fórmula
4. Equivalencia entre fórmulas
5. Conjuntos satisfacibles e insatisfacibles
5.1 Conjunto satisfacible
5.2 Conjunto insatisfacible
5.3 Ejemplos

Ejemplo de conjunto satisfacible

Muestre que el siguiente conjunto {p1 , (p1 → p2 ), ¬p3 } es satisfacible.

Respuesta: alcanza con ofrecer una interpretación que sea modelo de la
fórmula ((p1 ∧ (p1 → p2 )) ∧ ¬p3 ).
Por ejemplo, la interpretación I , tal que I (p1 ) = V , I (p2 ) = V , I (p3 ) = F
. Justificación:

p1 p2 p3 (p1 → p2 ) ¬p3 (p1 ∧ (p1 → p2 )) ((p1 ∧ (p1 → p2 )) ∧ ¬p3 )

V V F V V V V

Semántica de la Lógica proposicional

 1. Interpretar las fórmulas
2. El método de las tablas de verdad
3. Tipos de fórmula
4. Equivalencia entre fórmulas
5. Conjuntos satisfacibles e insatisfacibles
5.1 Conjunto satisfacible
5.2 Conjunto insatisfacible
5.3 Ejemplos

Ejemplo de conjunto insatisfacible

Muestre que el siguiente conjunto {p1 , (p1 → p2 ), ¬p2 } es insatisfacible.

Respuesta: debemos mostrar que no existe una interpretación que sea mo-
delo del conjunto. Para lo cual, podemos mostrar que la fórmula
((p1 ∧ (p1 → p2 ) ∧ ¬p2 ) es una contradicción.
La fórmula ((p1 ∧ (p1 → p2 )) ∧ ¬p2 ) es una contradicción. Justificación:
p1 p2 (p1 → p2 ) ¬p2 (p1 ∧ (p1 → p2 )) ((p1 ∧ (p1 → p2 )) ∧ ¬p2 )
V V V F V F
V F F V F F
F V V F F F
F F V V F F

Semántica de la Lógica proposicional