Facultad de Ingeniería y Tecnologías

Departamento de Matemática Consecuencia lógica

Demostraciones Matemáticas

Tautologías y consecuencia lógica

1) La siguiente es una lista de tautologías. Compruébelas.

a) ⊨a(ab)b b) ⊨b(ab)a
c) ⊨a(ab)b d) ⊨a(avb)
e) ⊨aba f) ⊨a(bab)
g) ⊨(ab)(bc)(ac) h) ⊨abca(bc)
i) ⊨abba j) ⊨(ab)((bc)(ac))
k) ⊨(ab)((bc)(ac)) l) ⊨aa
m) ⊨(ab)(ba) n) ⊨(ab)(cb)(acb)
p) ⊨abba q) ⊨(ab)(ac)(abc)
r) ⊨abba s) ⊨a(bc)(ab)c
t) ⊨a(bc)(ab)c u) ⊨(ab)ab
v) ⊨(ab)ab w) ⊨a(bc)(ab)(ac)
x) ⊨a(bc)(ab)(ac)

2) Las siguientes tautologías sirven para transformar conectivos en otros. Verifíquelas.

a) ⊨abab b) ⊨ab(ab)
c) ⊨a bba d) ⊨ab(ab)
e) ⊨ab (ab) f) ⊨ab (ab)
g) ⊨ (ab)(ab)(ba)

3) En cada caso siguiente, decida si la conclusión propuesta es consecuencia lógica de las premisas dadas.
a) ab, (bc) ⊨ ca
b) aa,(ab)(cd) ⊨ c
c) ab, cb, dac, d ⊨ b
d) a(cb), cb, da, c ⊨ db

4) Pruebe que A1 , A2 ,..., An ⊨B si y sólo si {A1, A2 ,..., An, B} es no satisfactible.

5) Pruebe que A1 , A2 ,..., An ⊨B y A1 , A2 ,..., An ⊨D si y sólo si A1 , A2 ,..., An ⊨BD.

6) Sean A1, A2, ..., An, M, N y P fórmulas bien formadas, tales que M y N son equivalentes.
a) Pruebe que si A1, A2, ..., An, M ⊨P, entonces A1, A2, ..., An, N⊨P.
b) ¿Puede darse una condición menos restrictiva que requerir la equivalencia de M y N para afirmar que si
A1, A2, ..., An, M ⊨ P, entonces A1, A2, ..., An, N ⊨ P?

Página 1 de 2
Facultad de Ingeniería y Tecnologías
Departamento de Matemática Consecuencia lógica
Demostraciones Matemáticas

Reglas de inferencia y pruebas

7) A continuación, se exponen pruebas formales de ciertas fórmulas a partir de cierto conjunto de premisas.
Justifique cada paso de ellas.
a) ab,(bc) ⊨a ab, (bc), bc, b, a
b )ab, cb, dac, d ⊨ b dac, d, ac, ab, cb, acb, b

8) En cada caso siguiente, decida si la conclusión propuesta es consecuencia lógica de las premisas dadas, y
en caso afirmativo, dé una prueba de ellas.
a) ab, (bc) ⊨ ca
b) aa,(ab)(cd) ⊨ c
c) ab, cb, dac, d ⊨ b
d) a(cb), cb, da, c ⊨ db
e) cb, ab ⊨ ac
f) a(bc), (cd)e, fde ⊨a(bf)

9) Considere la siguiente formulación: y(rt), (ts) ⊨ y r.

a) Interpretando y como “llueve”, r como “las ranas cantan”, t como “hay temporal” y s como “sale el sol”,
dé una traducción al español de la argumentación presentada.
b) Averigüe si el argumento es correcto.
c) En caso de serlo, dé una prueba de él.

10) Iguales problemas que en 9) para 10) ad, abc, db⊨dc, tomando a como “La Bella y la
Bestia me acompañan”, b como “Un monstruo viene a verme”, c como “hay un camino a casa” y d como
“estoy en la gran muralla”, traduzca al español la formulación dada.

11) Se considera el siguiente argumento: Si truena, las ranas cantan y los sapos bailan. Los sapos no bailan
y las ranas cantan. Truena o sale el sol. Por lo tanto, las ranas cantan y sale el sol.
a) Traduzca este argumento en términos del cálculo proposicional.
b) Analice su validez.
c) En caso de ser válido el argumento, dé una prueba de él.

12) Iguales problemas que en 11) para: Si el tiempo es caluroso, las ranas no croan pero los pájaros anidan
en el bosque. Los pájaros no anidan en el bosque o el muérdago no crece sobre las ramas de los árboles.
Por lo tanto, si el muérdago crece sobre las ramas de los árboles, el tiempo no es caluroso.

Página 2 de 2