Facultad de Ciencias Exactas, Ingenierı́a y Agrimensura

Escuela de Ciencias Exactas y Naturales

Departamento de Ciencias de la Computación
Lógica

Práctica 1: Semántica de la Lógica Proposicional

1. Dé secuencias de formación para las siguientes fórmulas:

a) ¬(p1 → p2 ) d) (¬p1 → (p3 ∨ (p5 ∧ p4 ))) ∨ ¬p2

b) p1 ∨ (¬p2 → p3 ) e) (p1 ∧ ((p3 → p5 ) → p4 )) → (¬p2 ∧ p6 )

c) ((p1 → p2 ) → p3 ) → p4 f) (p1 ∨ (¬p2 → p3 )) ∧ ((p3 → p5 ) → p4 )

2. Enunciar el principio de inducción sobre Prop.

3. En clase de práctica veremos la definición de árbol sintáctico para una fórmula.

a) Determine los árboles sintácticos correspondientes a las fórmulas del ejercicio 1.

b) Determine las proposiciones correspondientes a los siguientes árboles:

i. ¬ ii. → iii. ¬

¬ →
→ ∧
¬ ¬ ¬
p0 ⊥ ↔ p5
⊥ p0 p1 p1 p1

4. Definir por recursión la función subs : Prop → P(Prop) tal que subs(φ) es el conjunto de
todas las subfórmulas de φ.

5. Sea n el número de conectivos que aparecen en una fórmula φ. Demuestre que φ tiene a lo
sumo 2n + 1 subfórmulas.

6. Sea F el conjunto de todas las fórmulas proposicionales para las cuales existe una secuencia
de formación. Demuestre que F = Prop.

7. Sea φ una fórmula y v, v 0 dos valuaciones. Demuestre que si para toda variable proposicional
pi que ocurre en φ se cumple v(pi ) = v 0 (pi ), entonces [[φ]]v = [[φ]]v0 .

8. Determinar φ[¬p0 → p3 /p0 ] para:

a) φ = p1 ∧ p0 → (p0 → p3 ) b) φ = (p3 ↔ p0 ) ∨ (p2 → ¬p0 )

9. Demuestre el Teorema de Sustitución enunciado en clase.

Práctica 1 2017 Página 1/2

Lógica Semántica de la Lógica Proposicional

10. Muestre que:

a) p |= p ∨ q e) ¬p ∨ ¬q |= ¬(p ∧ q)

b) si p |= q y q |= r entonces p |= r f) p ∨ (q ∨ r) |= (p ∨ q) ∨ r

c) si |= p → q entonces p |= q g) (p → q) → r |= p → (q → r)

d) ¬(p ∧ q) |= ¬p ∨ ¬q h) (p ∧ q) → r |= (p → r) ∨ (q → r)

11. Sean φ, ψ ∈ Prop y v una valuación. Demuestre que [[φ ↔ ψ]]v = T sii [[φ]]v = [[ψ]]v .

12. Sean φ, ψ ∈ Prop tales que |= φ → ψ. Demuestre:

a) |= (φ ∧ ψ) ↔ φ b) |= (φ ∨ ψ) ↔ ψ

13. El operador binario NOR (↓) tiene la siguiente tabla de verdad:

p q p↓q
F F T
F T F
T F F
T T F
a) Extender la definición de semántica para incluir al operador ↓
b) Demostrar:
¬(p ↓ q), p ↓ p |= q

14. Sea φ una fórmula proposicional. Decimos que φ es:

válida (o una tautologı́a) sii para toda valuación v, [[φ]]v = T
contradictoria sii para toda valuación v, [[φ]]v = F
satisfactible sii existe una valuación v tal que [[φ]]v = T

Demuestre que:
a) φ es satisfactible sii ¬φ no es válida b) φ → ⊥ es válida sii φ es contradictoria

15. Sea Γ ⊆ Prop. Mostrar que Γ |= φ sii Γ ∪ {¬φ} es insatisfactible.

16.
a) Demuestre que {∨, ¬} es un conjunto completo de conectivos.
b) Defina un operador binario ⊕ de modo que {⊕} sea un conjunto completo de conectivos, y
demuéstrelo.

17. Demuestre que si C ⊆ {¬, ∧, ∨, →, ⊥} es un conjunto completo de conectivos, entonces

¬ ∈ C o ⊥ ∈ C.

Práctica 1 2017 Página 2/2