Instituto de Computación - Facultad de Ingeniería - 2012

Lógica - Práctico 3 (Semántica de la Lógica

Proposicional)
Ejercicio 1. (Valuaciones)
Demuestre que toda valuación v cumple que

3. v (ϕ ∨ ψ) = v (ϕ) + v (ψ) – v (ϕ) . v (ψ)

1. v (ϕ ∧ ψ) = v (ϕ) . v (ψ)
4. v (ϕ → ψ) = 1 – v (ϕ) + v (ϕ) . v (ψ)
2. v (ϕ ↔ ψ) = 1 – |v (ϕ) – v (ψ)|
5. v (ϕ → ψ) = 1 si y solo si v (ϕ) ≤ v(ψ)

Ejercicio 2. (Tautologías)
Investigue cuáles de las siguientes proposiciones son tautologías.
1. (¬p ∨ q) ↔ (q → p) 3. ⊥ → p

2. (p → (q → r)) ↔ ((p ∧ q) → r) 4. (p → q) ∨ (¬p → r)

Ejercicio 3. (Tautologías e implicación)

Coloque letras proposicional en lugar de ¿? de forma que la fórmula obtenida sea tautología.
¿Puede realizar esa tarea en todos los casos? Justifique.

1. p → ¿? 4. (p → q) → ¿?

2. (p → q) → ((q → ¿?) → (p → r)) 5. (p → (q → r)) → ((¿? → q) → (p → r))

3. (p → (q → r)) → (¿? → (p → ¿?)) 6. ((p → q) → p) → ¿?

Ejercicio 4. (Sustitución)
Calcule ϕ[¬p0 → p3 / p0] para:

1. ϕ = p1 ∧ p0 → (p0 → p3) 2. ϕ = (p3 ↔ p0) ∨ (p2 → ¬p0)

Ejercicio 5. (Tautologías)
Demuestre, usando al menos dos estrategias diferentes, que:

1. |= (ϕ → ψ) ↔ (¬ψ → ¬ϕ) (contraposición) 4. |= (ϕ → (ψ ∧ ¬ψ)) → ¬ϕ

2. |= (ϕ → ψ) ∧ (ψ → σ) → (ϕ → σ) (transitividad de →) 5. |= (ϕ → ¬ϕ) → ¬ϕ

3. |= ((ϕ → ψ) → ϕ) → ϕ (Ley de Pierce) 6. |= ¬ (ϕ ∧¬ϕ)

7. |= ϕ→ (ψ→ ϕ∧ψ)

Página 1 de 5
 Instituto de Computación - Facultad de Ingeniería - 2012
Ejercicio 6. (Consecuencia semántica)
Demuestre que:

1. ϕ |= ϕ 5. (ϕ → ψ), (¬ϕ → ψ) |= ψ

2. ϕ∨ψ , ¬ψ |= ϕ 6. Si ϕ |= ψ y ψ |= σ entonces ϕ |= σ

3. ϕ↔ψ , ¬ϕ |= ¬ψ 7. Si |= ϕ→ψ entonces ϕ |= ψ

4. (ϕ ∧ ψ) , (ψ ∧ σ) |= (ϕ ∧ σ) 8. Si |= ¬ϕ y ψ |= ϕ entonces |= ¬ψ

9. Si Γ |= ϕ y Γ |= ¬ψ entonces Γ |= ¬ (¬ϕ∨ψ) (donde Γ ⊆ PROP)

Ejercicio 7. (Examen de Julio 2006)

Para cada una de las siguientes afirmaciones, justifique cuál tiene una única valuación v que la
satisface, cuál tiene varias y cuál no tiene ninguna.
1. Para toda ϕ∈PROP, existe i∈N, tal que v (ϕ → pi) = 1
2. Para toda ϕ∈PROP, existe i∈N, tal que v (ϕ → pi) = 0
3. Para todo i∈N, existe ϕ∈PROP, tal que v (ϕ → pi) = 0
Ejercicio 8. (Simplificación)
Simplifique las siguientes proposiciones (esto es, encuentre una proposición equivalente más
corta). Justifique cada caso.

1. (ϕ → ψ) ∧ ϕ 3. (ϕ → ψ) → ψ 5. (ϕ ∧ ψ) ∨ ϕ

2. (ϕ → ψ) ∨ ¬ϕ 4. ϕ → (ϕ ∧ ψ) 6. (ϕ → ψ) → ϕ

Ejercicio 9. (Conectivas)
1. Denotamos por “ | ” la barra de Sheffer cuya función de valuación es la siguiente:
v (ϕ | ψ) = 0 sii v (ϕ) = v (ψ) = 1.
Denotamos por “↓ ” el conectivo cuya función de valuación es la siguiente:
v (ϕ ↓ ψ) = 1 sii v (ϕ) = v (ψ) = 0 (ni ϕ ni ψ)
Demuestre que los conjuntos de conectivos { | } y { ↓ } son funcionalmente completos
(Sugerencia: Pruebe que : (¬ϕ) eq ( ϕ | ϕ) y que: (¬ϕ) eq ( ϕ ↓ ϕ))
2. Considere la conectiva ternaria $ cuya función de valuación es la siguiente (conectiva
mayoría):
v ($ (ϕ1, ϕ2, ϕ3)) = 1 sii v (ϕ1) + v (ϕ2) + v (ϕ3) ≥ 2

Exprese $ en términos de ∨ y ¬.

Página 2 de 5
 Instituto de Computación - Facultad de Ingeniería - 2012

3. Considere el conectivo # cuya función de valuación es la siguiente

v (ϕ # ψ) = 1 ssi v (ϕ) ≠ v (ψ)

Exprese # en términos de ∨ y ¬

4. Demuestre que el conjunto { ∧, ⊥ } no es funcionalmente completo. (Sugerencia: Pruebe que

ninguna fórmula que use solamente esos conectivos puede ser una tautología)

Ejercicio 10. (Formas normales)

Determine las formas normales conjuntivas y disyuntivas para las siguientes fórmulas:
1. ¬ ( p ↔ q) 2. ((p → q) → q) → q 3. (p → (p ∧ ¬q)) ∧ ( q → (q ∧ ¬p))

Ejercicio 11. (Equivalencia)

Pruebe que (∧i ≤ n ϕi) ∨ (∧ j ≤ m ψj) y ∧[ i ≤ n , j ≤ m] (ϕi ∨ ψj) son equivalentes.
Idem para (∨i ≤ n ϕi ) ∧ (∨ j ≤ m ψj) y ∨[i ≤ n, j ≤ m] (ϕi ∧ ψj).

Ejercicio 12. (Formas normales y criterios)

Indique una condición necesaria y suficiente para que una forma normal conjuntiva sea una
tautología. En forma dual, indique una condición necesaria y suficiente para que una forma
normal disyuntiva sea una contradicción.

Ejercicio 13. (Más formas normales)

1. Defina una función f que elimina las conectivas → y ↔ de una fórmula preservando la
equivalencia semántica. Por ejemplo, f ((p → q)) = (¬p ∨ q).

2. Defina una función g que, dada una fórmula sin las conectivas → y ↔, devuelve una fórmula
donde la conectiva ¬ solamente actúa sobre expresiones atómicas, preservando la
equivalencia semántica. Por ejemplo, g ((¬(p ∨ q))) = (¬p ∧ ¬q). Llamamos a esta expresión
una forma normal negada. Demuestre que el resultado de aplicar la función g a una fórmula
β es equivalente a la fórmula β.
3. Defina una función que, dada una fórmula en forma normal negada, devuelve una forma
normal conjuntiva preservando la equivalencia semántica. Análogo para formas normales
disyuntivas.

Ejercicio 14. (Conjunto característico)

Considere el conjunto V de todas las valuaciones y la función
|| || : PROP → Pot (V) tal que || ϕ|| = {v ∈ V | v (ϕ) = 1}.

Llamamos a || ϕ || el conjunto característico de ϕ.

Página 3 de 5
 Instituto de Computación - Facultad de Ingeniería - 2012

1. Demuestre que :
a) || ϕ∨ψ|| = || ϕ|| ∪|| ψ|| d) |= ϕ ssi || ϕ|| = V
b) || ϕ∧ψ|| = || ϕ|| ∩|| ψ|| e) || ⊥|| = ∅
c) || ¬ϕ|| = || ϕ||c f) |= ϕ→ ψ ssi || ϕ|| ⊆ || ψ||
2. Extendemos la función || || al conjunto de proposiciones Γ de la siguiente forma:
|| Γ || = {v | v (ϕ) = 1 para cualquier ϕ ∈ Γ}.

Pruebe que : Γ |= ϕ ssi || Γ|| ⊆ || ϕ|| .

Ejercicio 15. (Orden)

En este ejercicio definimos una relación “<< ” entre proposiciones. Definimos la relación << de
la siguiente manera :
ϕ << ψ ssi |= ϕ→ψ y no se cumple |= ψ→ ϕ

1. Pruebe que la relación “<<” es densa en PROP. Esto es : Para cada ϕ, ψ tales que ϕ << ψ,
encuentre σ tal que ϕ << σ << ψ. ( Sugerencia : Considere una variable pi que no ocurra en
ϕ ni en ψ . Utilice esta variable para construir σ. Considere una valuación v y analice las
restricciones que v(ϕ) , v(ψ) , v(pi) y v(σ) deben cumplir para que ϕ << σ << ψ. Construya
σ en base a dichas restricciones.)
2. Halle un elemento maximal y uno minimal de la relación “<<”.

3. Sea la fórmula p1 . Encuentre una secuencia de fórmulas ϕ1, ϕ2, ϕ3, ..... tales que p1 << ϕ1 <<
ϕ2 << ϕ3 << .....

4. Muestre que hay al menos una pareja de fórmulas ϕ, ψ que son incomparables según la
relación “<<” .

Ejercicio 16. (Sustitución)

Sea ϕ una proposición que contiene al átomo p . Por comodidad , escribiremos ϕ (σ) en vez de
ϕ [σ/p]. Abreviaremos como T a la proposición ¬⊥ .
1. Demuestre que para toda valuación v se cumple que :

Si v(ϕ1) = v(ϕ2) entonces v(ψ(ϕ1)) = v(ψ(ϕ2)).

2. Utilice el resultado de la parte (1) para demostrar las siguientes propiedades:
2.1. ϕ(T) |= ϕ(ϕ(T)) 2.3. ϕ(p) , ¬ϕ(T) |= p ↔ ⊥
2.2. ϕ(p) |= ϕ(ϕ(T)) 2.4. ϕ(p) , ¬ϕ(T) |= ϕ(ϕ(T))

Página 4 de 5
 Instituto de Computación - Facultad de Ingeniería - 2012

Ejercicio 17. (Meros y veros)

La isla Merovero está poblada por dos clases de personas: los meros, que siempre mienten, y los
veros, que nunca mienten. Los hechos de esta isla se reflejan en una valuación v.
Como todo aquello que dice un vero es verdad, tendremos

• Si A es un vero que dice ϕ, entonces v (ϕ) = 1

Análogamente se da la situación con los meros. El juego consiste en detectar, a partir de los
siguientes diálogos o monólogos, quiénes son veros y quiénes meros; indique si hay casos en los
que esta tarea no se puede realizar.
1. (monólogo) A: Si yo soy un vero, entonces el Fénix no baja
2. (monólogo) A: Si yo soy un mero, entonces el Fénix no baja
3. (monólogo) A: Si el Fénix no baja, entonces yo soy un mero
4. (diálogo: A y B) A: Si vos sos un vero, yo soy un mero
5. (diálogo: A y B) A: Ninguno de nosotros es vero. B: Es mentira
6. (diálogo: A y B) A: Ninguno de nosotros es mero. B: Es mentira
7. (monólogo) A: Soy un mero

Página 5 de 5