Capı́tulo 3

Semántica

El término semántica, se refiere a los aspectos del significado o interpretación de un

determinado código simbólico, lenguaje o representación formal. En principio cualquier
medio de expresión (código, lenguas, ...) admite una correspondencia entre expresiones
de sı́mbolos o palabras y situaciones o conjuntos de cosas encontrables o inferibles en el
mundo fı́sico o abstracto que puede ser descrito por dicho medio de expresión.

La semántica estudia los signos en su relación con los objetos designados. La semánti-
ca opera, pues, en un nivel menos abstracto y formal que la sintaxis. Como una de las
relaciones entre los signos y los objetos designados es la relación de verdad, la noción de
verdad cae dentro de la semántica. Ası́, un enunciado perteneciente a la semántica es:

“Si los cuerpos son menos pesados que el agua,

entonces flotan en el agua”

el cual es un enunciado verdadero.

3.1. Semántica en matemáticas y lógica

La lógica de predicados de primer orden es el tipo de sistema lógico-matemático más
sencillo donde aparece el concepto de interpretación semántica. Dicha lógica está formado
por:

1. Un conjunto de signos (conectivas, paréntesis, cuantificadores,...).

2. Un conjunto de variables y constantes.

3. Un conjunto de predicados sobre las variables.

4. Un conjunto de reglas de buena formación de expresiones a partir de expresiones

sencillas.

En la lógica de primer orden el conjunto de variables y constantes juega un papel similar al

lexicón de las lenguas naturales ya que bajo una interpretación semántica son los elementos
que admiten referentes. A su vez, el conjunto de reglas de buena formación de expresiones
hace el papel de la sintaxis en las lenguas naturales. Para interpretar semánticamente las

51
52 Semántica

expresiones formales de un sistema lógico de primer orden necesitamos definir un modelo o

conjunto estructurado sobre el que interpretar los enunciados formales del sistema lógico.
Un modelo de acuerdo con la teorı́a de modelos es un conjunto con cierta estructura junto
con una regla de interpretación que permite asignar a cada variable o constante un elemento
del conjunto y cada predicado en el que intervienen un conjunto de variables puede ser
juzgado como cierto o falso sobre el conjunto en el que se interpretan las proposiciones del
sistema lógico formal.
En lógica matemática se suelen dividir los axiomas de los sistemas formales se suelen
dividir en axiomas de dos tipos:

• Axiomas lógicos, que definen básicamente las reglas de deducción y están forma-
dos por tautologı́as. Básicamente son válidos para cualquier tipo de sistema formal
razonable.

• Axiomas matemáticos, que asevera la existencia de cierto tipo de conjuntos y

objetos con verdadero contenido semántico. Gracias a ello es posible introducir con-
ceptos nuevos y probar las relaciones entre ellos.

Ası́ si se tiene un conjunto de axiomas que define la teorı́a de grupos, cualquier un grupo
matemático es un modelo en el que las proposiciones y axiomas de dicha teorı́a reciben
interpretación y resultan en proposiciones ciertas sobre ese modelo.

3.2. Funciones Proposicionales y Tablas de Verdad

Una función proposicional es una función v definida en el conjunto de las f.b.f. de manera
que a cada f.b.f. le asigna un valor de verdad en el conjunto {0, 1}.

v : f.b.f. −→ {0, 1}
γ 7−→ v(γ)

Ejemplo 3.1. Toda letra proposicional que es una f.b.f., tiene un valor de verdad definido
de la siguiente manera: (
1, si p es verdadera
v(p) =
0, si p es falsa

Ejemplo 3.2. Si p y q son letras proposicionales, los valores de verdad de las f.b.f. ¬(p),
p ∧ q, p ∨ q, p → q, y p ↔ q se muestran en la tabla siguiente:

v(p) v(q) v(¬(p)) v(p ∧ q) v(p ∨ q) v(p → q) p↔q

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

Definición 3.1. Se dice que una f.b.f. γ en notación infija es una tautologı́a si el valor de
verdad de γ es 1 para cualquier valoración de las letras proposicionales que componen a
α.
Lógica Matemática 53

Ejemplo 3.3. La f.b.f. α : (p → q) ↔ (¬p ∨ q) es una tautologı́a ya que el v(α) = 1 para

cualquier valoración de p y de q como se puede ver en la siguiente tabla:

v(p) v(q) v(¬(q)) v(p → q) v(¬p ∨ q) v(α)

1 1 0 1 1 1
1 0 0 0 0 1
0 1 1 1 1 1
0 0 1 1 1 1
Definición 3.2. Se dice que una f.b.f. α en notación infija es una contradicción si el valor
de verdad de α es 0 para cualquier valoración de las letras proposicionales que componen
a α.
Ejemplo 3.4. La f.b.f. α : (p ∧ ¬p) es una contradición ya que el v(α) = 0 para cualquier
valoración de p como se puede ver en la siguiente tabla:

v(p) v(¬(p)) v(p ∧ ¬p)

1 0 0
0 1 0
Definición 3.3. Una f.b.f. en notación infija que ni es tautologı́a y ni es contradicción se
denomina contigencia.
Ejemplo 3.5. Toda letra proposicional es una contingencia.
Ejemplo 3.6. La f.b.f. α : (¬(p → q)) ↔ (¬(p) → ¬(q)) es una contingencia como se
puede ver en la tabla siguiente:

v(p) v(q) v(¬(p)) v(¬(q)) v(¬(p) → ¬(q)) v(p → q) v(¬(p → q)) v(α)
1 1 0 0 1 1 0 0
1 0 0 1 0 0 1 0
0 1 1 0 0 1 0 1
0 0 1 1 1 1 0 0
Definición 3.4. Se dice que la f.bf.
(α1 ∧ α2 ∧ · · · ∧ αn ) → β
es una implicación tautológica si es equivalente a un tautologı́a.
Ejemplo 3.7. La fórmula α : ¬p → (¬p ∨ q) es una implicación tautológica ya que esta
fórmula es una tauotologı́a como se puede ver en la siguiente tabla:

v(p) v(q) v(¬p) v(¬p ∨ q) v(α)

1 1 0 1 1
1 0 0 0 1
0 1 1 1 1
0 0 1 1 1
54 Semántica

Definición 3.5. Se dice las f.b.f. α y β son equivalentes si la f.b.f. (α) ↔ (β) es una
tautologı́a. En este caso se escribe
α≡β
que significa que “las f.b.f. α y β son equivalentes”.

Con esta notación se pueden dar algunas f.b.f. equivalentes las cuales se les conocen con
el nombre de “leyes del álgebra de proposiciones”, estas son:

3.3. Leyes del Álgebra de Proposiciones

Para cualesquiera f.b.f. α, β y γ las expresiones siguientes son equivalentes

1. Doble negación: ¬(¬(α)) ≡ α

2. Ley de idempotencia: (α) ∨ (α) ≡ (α)
(α) ∧ (α) ≡ (α)

3. Ley conmutativa: (α) ∨ (β) ≡ (β) ∨ (α)

(α) ∧ (β) ≡ (β) ∧ (α)

4. Ley asociativa: (α) ∧ ((β) ∧ (γ)) ≡ ((α) ∧ (β)) ∧ (γ)

(α) ∨ ((β) ∨ (γ)) ≡ ((α) ∨ (β)) ∨ (γ)

5. Ley distributiva: (α) ∧ ((β) ∨ (γ)) ≡ ((α) ∧ (β)) ∨ ((α) ∧ (γ))

(α) ∨ ((β) ∧ (γ)) ≡ ((α) ∨ (β)) ∧ ((α) ∨ (γ))

6. Ley de Morgan: ¬((α) ∧ (β)) ≡ ¬(α) ∨ ¬(β)

¬((α) ∨ (β)) ≡ ¬(α) ∧ ¬(β)

7. Ley del condicional: (α) → (β) ≡ ¬(α) ∨ (β)

8. Negación del condicional: ¬((α) → (β)) ≡ (α) ∧ ¬(β)

9. Ley del bicondicional: (α) ↔ (β) ≡ ((α) → (β)) ∧ ((β) → (α))

10. Ley de contradicción: (α) ∧ ¬(α) ≡ 0

11. Ley universal: (α) ∨ ¬(α) ≡ 1

Lógica Matemática 55

12. Ley neutral: (α) ∧ 1 ≡ (α)

(α) ∨ 0 ≡ (α)

13. Ley de dominación: (α) ∧ 0 ≡ 0

(α) ∨ 1 ≡ 1
14. Ley de absorción: (α) ∧ ((α) ∨ (β)) ≡ α
(α) ∨ ((α) ∧ (β)) ≡ α

Estas leyes son útiles para simplificar fórmulas bien formadas en notación infija y clasifi-
carlas como tautologı́as, contradicciones o contingencias.

Ejemplo 3.8. La fórmula bien formada

(¬p ∨ ¬q) ∨ (p ∧ q)

es una tautologı́a ya que esta fórmula es equivalente a las expresiones

(¬p ∨ ¬q) ∨ (p ∧ q) ≡ ¬(p ∧ q) ∨ (p ∧ q) “ley de Morgan”

≡1 “ley universal”

Ejemplo 3.9. La fórmula bien formada

(p ∧ (p → q)) → q

es una tautologı́a, en efecto:

(p ∧ (p → q)) → q ≡ (p ∧ (¬p ∨ q)) → q “ley del condicional”

≡ ((p ∧ ¬p) ∨ (p ∧ q)) → q “ley distributiva”
≡ (⊥ ∨ (p ∧ q)) → q “ley de contradicción”
≡ (p ∧ q) → q “ley del neutro”
≡ ¬(p ∧ q) ∨ q “ley del condiconal”
≡ (¬p ∨ ¬q) ∨ q “ley de morgan”
≡ ¬p ∨ (¬q ∨ q) “ley asociativa”
≡ ¬p ∨ 1 “ley universal”
≡1 “ley de absorción”

Ejemplo 3.10. La fórmula bien formada

((p ∧ ¬q) ∨ (p ∧ r)) ∨ (p ∧ q)

56 Semántica

es una contingencia, ya que

((p ∧ ¬q) ∨ (p ∧ r)) ∨ (p ∧ q) ≡ (p ∧ ¬q) ∨ (p ∧ r) ∨ (p ∧ q) “ley asociativa”

≡ p ∧ (¬q ∨ r ∨ q) “ley distributiva”
≡ p ∧ (¬q ∨ q) ∨ r “ley asociativa y conmutativa ”
≡ p∧1∨r “ley universal”
≡ (p ∧ 1) ∨ r “ley asociativa”
≡p∨r “ley de absorción”

3.4. Expresiones Verbales Equivalentes

Las leyes del Álgebra de Proposiciones son útiles para dar expresiones verbales equivalentes
de proposiciones.

Ejemplo 3.11. Consideremos las proposiciones

p : Llueve q : Hace frio.

Es claro que por la ley del condicional

p → q ≡ ¬p ∨ q

lo que implica que las expresiones verbales

“Si llueve, entonces hace frio” y “No llueve o hace frio”

son equivalentes.

Ejemplo 3.12. Consideremos las proposiciones

p : Trabajo q : Estudio.

Por la ley de Morgan

¬(p ∨ q) ≡ ¬(p) ∧ ¬(q)
lo que implica que las expresiones verbales

“No es cierto, que trabajo o estudio” y “Ni trabajo ni estudio”

son equivalentes.
Lógica Matemática 57

Taller No 7.
1. Utilice las leyes del álgebra proposicional para simplificar las f.b.f dadas y determine
si la fórmula obtenida es una tautologı́a, una contradicción o una contingencia.

a. p ∨ (q ∨ ¬p) ñ. ((p ∨ ¬q) ∧ (q ∧ r)) ∧ (q ∧ ¬r)

b. (p → q) ∨ p o. ¬((¬p ∧ q) ↔ (¬q ∨ (¬p ∧ q)))
c. ¬p → (¬p ∧ q) p. ((p ∧ q) ∧ r) ↔ ((p ∧ r) ∧ (q ∧ r))
d. ¬(p → (p ∨ ¬q)) q. (¬(p → q) → ¬(q → p)) ∧ (p ∨ q)
e. (¬p ∧ q) ∨ (¬p ∧ ¬q) r. (p → (q ∨ r)) ↔ ((p → q) ∨ (p → r))
f. p ∧ (q ∨ ¬p) s. (¬p ∨ q) ↔ (p → (p ∧ q))
g. (p ∧ q ∧ r) ∨ (¬p ∨ ¬r ∨ ¬q) t. ¬((p ∨ q) ↔ (¬p ∨ q) ∧ ¬q)
h. (¬p ∨ q) → ((p ∧ q) → (¬p ∨ q)) u. ((p) → (q)) → (¬(r))
i. (p → q) → ((q → r) → (p → r)) v. ( p ∨ (q → p) ) → (¬(q))
j. (p ∨ ¬q) ∧ (p ∨ q) w. ¬(p) ∧ ( ¬(q) → (q → p) )
k. ((p ∨ q) ∧ (¬p ∨ q)) ↔ q x. ( p ∨ (q → p) ) → (¬(q))
l. (p ∨ ¬q) ∨ (¬p ∨ q)
m. ¬(p ∨ q) ∨ (¬p ∧ q)
n. ((p ∧ ¬q) ∨ (p ∧ r)) ∨ (p ∧ q)

2. Sabiendo que p|q ≡ ¬(p∧q) y p|p ≡ ¬p, escriba cada una de las f.b.f. dadas utilizando
el conectivo dado.

a. p ∧ q b. p ∨ q c. p → q d. p ∧ ¬q

3. Suponga que la proposición “Heriberto es honrado. es equivalente a la proposición

“Heriberto no es tramposo”. Con base a lo anterior, indique cuales de las siguien-
tes proposiciones son equivalentes a la proposición “Si Heriberto gana el concurso,
entonces hizo trampa”.

a. Heriberto gana el concurso y es tramposo.

b. Heriberto, una persona honrada, no ganó el concurso.
c. Si Heriberto es honrado, entonces no ganó el concurso.
d. No es cierto que: Heriberto gana o es tramposo.
e. Si Heriberto es tramposo, entonces gana el concurso.

4. Indique cuáles de las siguientes proposiciones representan la negación de la proposi-

ción “Si voy al cine, entonces voy al parque y no al teatro”.

a. Voy al cine pero no voy al parque y al teatro.

b. Si voy al teatro o no voy al parque, entonces no voy al cine.
c. Voy al cine y voy al teatro, o ,voy al cine y no al parque.
58 Semántica

d. Voy al cine, y si no voy al teatro, entonces no voy al parque.

e. Si no voy al cine, entonces no voy al parque y voy al teatro.

5. La proposición p∨q se le llama la disyunción exclusiva y es tal que solamente es

verdadera cuando las proposiciones tienen diferentes valores de verdad. Con base a
lo anterior demuestre que

a. p∨q ≡ (p ∧ ¬q) ∨ (¬p ∧ q)

b. ¬(p∨q)≡ ¬((p ∧ ¬q) ∨ (¬p ∧ q))
c. ¬(p∨q)≡ (¬p ∨ q) ∧ (p ∨ ¬q)

6. Demuestre que las siguientes fórmulas son implicaciones tautológicas.

a. (p ∧ q) → (p ↔ q) d. ((p ↔ q) ∧ ¬q) → ¬p
b. p → ((q ∧ p) ↔ q) e. ((p ∨ q) ∧ ¬q) → q
c. ((p → q) ∧ p) → q f. (p ∧ q) → p

7. Escriba las fórmulas dadas en términos de los conectivos ¬, ∧, ∨.

a. (p → (q ∧ r)) ∨ ((r ↔ s) ∧ (q ∨ s))

b. ((p ∨ q) → q) ∧ ((p → r) → (q → r))
c. p ↔ ¬((p → r) ∧ (q → r))