Guía 4 - Lógica Proposicional

Solución de un alumno

Verano 2021

Ejercicio 1
a. v |= ¬p1 por def de valuación
b. v 6|= (p5 ∨ p3 ) → p1 porque podemos encontrar la valuación que cumpla v |= p5 y entonces no
cumpliría.
c. v |= (p1 ∨ p2 ) → p3 si porque (p1 ∨ p2 ) siempre es falso.
d. v 6|= ¬p4 porque podemos encontrar la valuación que cumpla v |= p4 como v |= ¬p4
e. v 6|= ((p8 → p5 ) → (p8 ∧ p0 )) porque puede ser que v(p5 ) = v(p8 ) = 1 y v(p0 ) = 0.

Ejercicio 2
Ejercicio 3
a. (⇒) Para toda v valuación, v |= α, entonces para toda valuación v 6|= ¬α, entonces ¬α no es
satisfacible.
(⇐) Los entonces también son para el otro lado.
b. Si para toda v valuación v |= α ∧ β entonces v |= α y v |= β, entonces ambas son tautologías. El
entonces es sii.
c. Si para toda v valuación v 6|= α ∨ β entonces v 6|= α y v 6|= β, entonces ambas son contradicciones.
El entonces es sii.
d. Si para toda v valuación v 6|= α → β entonces v |= α y v 6|= β, entonces α es una tautología y β
una contradiccion. El entonces es sii.

Ejercicio 4
a.
v1 |= (α ∧ β) y v2 6|= (α ∧ β)
⇒ (v1 |= α y v1 |= β) y (v2 6|= α ó v2 6|= β)
⇒ (v1 |= α y v2 6|= α) ó (v1 |= β y v2 6|= β)

b. La definición de |= es recursiva,
Sea γ una fórmula compuesta por símbolos proposicionales:

1
 • v |= p1 → p2 ⇔ v(p1 ) = 0 ó v(p2 ) = 1 ⇔ v 0 |= p1 → p2
v(pi )=v 0 (pi )
• v |= ¬p1 ⇔ v(p1 ) = 0 ⇔ v 0 |= ¬p1
v(pi )=v 0 (pi )

Entonces, como toda fórmula está constituida por fórmulas o por símbolos proposicionales,
entonces v(pi ) = v 0 (pi ) ⇒ (v |= α ⇔ v 0 |= α).

c. (⇐) Directo.
(⇒)

(α → β) tautología ⇔ (∀v valuación)(v |= (α → β))

⇔ (∀v valuación) v |= ¬α ó (v |= ¬α y v |= β) ó (v |= β)

Pero como V ar(α) ∩ V ar(β) = ∅ entonces podemos encontrar una v 0 tal que:

(v |= ¬α y v 6|= β)

Entonces tiene que ser α una contradicción o β una tautología.

d.

Ejercicio 5
Veamos para cada caso de fórmula: - Forma p:

v |= ¬p ⇔ v 6|= p

• Forma ¬ϕ:
v |= ϕ ⇔ v 6|= ¬ϕ

• Forma ϕ ∧ ψ:
v |= ¬ϕ ∨ ¬ψ
⇔ v |= ¬(ϕ ∧ ψ)
DeM organ

⇔ v 6|= ϕ ∧ ψ

• Forma ϕ ∨ ψ:
v |= ¬ϕ ∧ ¬ψ
⇔ v |= ¬(ϕ ∨ ψ)
DeM organ

⇔ v 6|= ϕ ∨ ψ

2
Ejercicio 6
Ejercicio 7
a) Sea ϕ ∈ Γ, entonces por def. de consecuencia semántica, Γ |= ϕ, entonces ϕ ∈ Con(Γ).

b) Γ1 ⊆ Γ2 .
Sea ϕ ∈ Con(Γ1 ). Entonces Γ1 |= ϕ. Entonces Γ2 |= ϕ (por definición de |= y que Γ1 ⊆ Γ2 ).
Entonces Con(Γ1 ) ⊆ Con(Γ2 )

c)
Γ2 ⊆ Con(Γ3 ) ⇒ Con(Γ2 ) ⊆ Con(Con(Γ3 )) = Con(Γ3 )

⇒ Γ1 ⊆ Con(Γ3 )

d) Ya sabemos que Con(Γ) ⊆ Con(Con(Γ)).

Sea ϕ ∈ Con(Con(Γ)), entonces para toda v valuación pasa que:

v |= Con(Γ) ⇒ v |= ϕ

Y como tenemos que para toda v:

v |= Con(Γ) ⇔ v |= Γ

Entonces, para toda v:

v |= Γ ⇒ v |= ϕ

Ejercicio 8
a.
Con({β}) ⊆ Con({α})
⇔ {α} |= β
Por def quiere decir:
(∀v)v |= α ⇒ v |= β
Entonces:
(∀v)v |= α → β

b.
1. VERDADERO. Para toda v valuación:

v |= α ∧ β ⇔ v |= α ∧ v |= β

Entonces son las mismas valuaciones, entonces las consecuencias semánticas son las mismas.

3
 2. VERDADERO. Para toda v valuación:
v |= α ∨ β ⇔ v |= α ∨ v |= β
Entonces son las mismas valuaciones, entonces las consecuencias semánticas son las mismas.

3. FALSO. Sea α = ¬β y β = p siendo p una variable prop. Entonces

Con(α → β) = F ORM
Pero
¬β ∈
/ Con(β)
Entonces no cumple.

Ejercicio 9
a) Γ es satisfacible, entonces existe v0 tq v0 |= Γ. Entonces, como Γ0 ⊆ Γ, v0 |= Γ0 , entonces Γ0 es
satisfacible.
Ahora veamos que no es cierto la recíproca con un contra ejemplo:
Γ = {p, ¬p} y Γ0 = {p}
b) Γ es satisfacible, entonces existe v0 tq v0 |= Γ. Entonces por def de consecuencia semántica, para
todo ϕ ∈ Con(Γ), v0 |= ϕ, entonces v0 |= Con(Γ), entonces Con(Γ) es satisfacible.
c) Puede pasar que Γ sea insatisfacible, entonces Γ |= α o Γ |= ¬α. También puede ser que no sea
consecuencia semántica.
No puede ser que no sea ninguna de las dos. Por definición de Γ |= ϕ, se cumple o no se cumple.

Ejercicio 10
(a ⇒ b)

¬(α1 ∧ ... ∧ αn ) ∈ Con(∅)

(¬α1 ∨ ... ∨ ¬αn ) ∈ Con(∅)

⇒ (∀v : valuación)v |= (¬α1 ∨ ... ∨ ¬αn )

⇒ (∀v : valuación)(∃i)1≤i≤n v 6|= (αi )

(b ⇒ c) (c) nos dice que el conjunto {α1 , ..., αn } es insatisfacible. Y está bien porque en (b) dijimos
que toda valuación no satisface algún αi .
(c ⇒ d) Sabemos que Con({α1 , ..., αn }) es insatisfacible, entonces por def todas las fórmulas son
consecuencia semántica del conjunto.
(d ⇒ a)
β ∈ Con({α1 , ..., αn }) para toda fórmula β. Entonces el conjunto {α1 , ..., αn } es insatisfacible.
Entonces la fórmula (α1 ∧ ... ∧ αn ) no es satisfacible para ninguna valuación.
Entonces ¬(α1 ∧ ... ∧ αn ) es satisfacible para todas las valuaciones.
Entonces ¬(α1 ∧ ... ∧ αn ) ∈ Con(∅).