L

ogica Inform
atica (Tecnologas Informaticas).

Curso 20152016.

Relaci
on 1: Sintaxis y semantica de la logica proposicional.
Ejercicio 1. Determinar todas las subformulas de las formulas
((p q) (q r))

(((p p) p) q)

Ejercicio 2. Eliminar todos los parentesis posibles de las siguientes formulas:

(((p q) r) (p p))
((p (q r)) (p q))
(((p q) (r s)) p)

((p q) (q r))
((p p) (p p))
(p ((q s) p))

Ejercicio 3. Escribir con parentesis las siguientes formulas:

pq rs
p q r s

q p r s
q q p r

Ejercicio 4. Dada una formula proposicional A, sean s(A) el n

umero de estancias de variables
proposicionales en A y b(A) el n
umero de estancias de conectivas binarias en A. Prueba que
para toda formula A se verifica que s(A) = b(A) + 1.
Ejercicio 5. Prueba que existe una u
nica funcion L que a cada formula proposicional, A, le
asocia un n
umero natural, L(A), como sigue:
L(p) = 1 si p V P .
L(A) = L(A) + 1.
L((A ? B)) = L(A) + L(B) + 3, si ? es cualquier conectiva binaria.
Que informacion nos proporciona L(A) sobre la formula A?
Ejercicio 6. Sea | una nueva conectiva binaria (barra de Sheffer), cuya funcion de verdad
viene dada por
H| (i, j) = 1 i = 0 o bien, j = 0
Sea una nueva conectiva binaria (negacion conjunta) cuya funcion de verdad viene dada por
H (i, j) = 1

i=j=0

1. Expresar las conectivas | y en funcion de y .

2. Expresar las conectivas y , primero utilizando solo la conectiva | y luego utilizando
solo la conectiva .
1

Ejercicio 7. Para cada formula, determina todos sus modelos (esto es, las valoraciones de
verdad que hagan que el valor de verdad de la formula sea 1).
p (q r q)
(p q) (p q) p

q (p p) r
(p r) (p q) q

Cuales de las anteriores formulas son satisfactibles? Cuales son tautologas?

Ejercicio 8. Decide razonadamente si los siguientes enunciados son verdaderos o falsos.
1. Si F y G son formulas consistentes, entonces {F, G} es consistente.
2. Si F es una tautologa y G es consistente, entonces {F, G} es consistente.
3. Si G es una contradiccion, entonces F G F es una tautologa.
4. Si F es satisfactible, todas sus subformulas tambien lo son.
5. F es satisfactible si, y solo si, todas sus consecuencias logicas tambien lo son.
Ejercicio 9. En cada caso, propon ejemplos de formulas F y G tales que:
1. F G es una contradiccion.
2. F y F G son satisfactibles, pero G es una contradiccion.
3. F 6|= G y F 6|= G.
4. F |= G y F |= G.
Ejercicio 10. Expresar mediante formulas proposicionales las siguientes afimaciones. En cada
caso indquese el significado que se asigna a las variables proposicionales (p, q, etc.) utilizadas.
1. Si el sol brilla hoy, entonces no brillara ma
nana.
2. O Roberto tiene celos de Chari o no esta de buen humor hoy.
3. Cuando la presion atmosferica baja, entonces llueve o nieva.
4. Si has ledo los apuntes y has hecho los ejercicios, estas preparado para el examen. En
caso contrario, tienes un problema.
5. No habra cura para el cancer salvo que se determine su causa y se encuentre un nuevo
medicamento.
6. Si Pablo se encontro con Chari ayer, entonces tomaron cafe juntos o pasearon por el
parque.
2

7. Juan duerme muchas horas y muy profundamente.

8. Mi hermana tiene un gato blanco y negro.
Ejercicio 11. Decide razonadamente si los siguientes enunciados son verdaderos o falsos.
1. Si {F, G, H} es inconsistente, entonces F |= G H.
2. {F, G} es consistente si y solo si {F, G} es inconsistente.
3. Si U es un conjunto de formulas tal que U 6|= F , entonces U |= F .
4. Si U es un conjunto de formulas tal que U |= F , entonces U 6|= F .
Ejercicio 12. Determinar cuales de las siguientes formulas son consecuencia logica de la
formula A B y cuales de A B:
A, B A, A B, B A
Ejercicio 13. Decidir cuales de las siguientes afirmaciones son verdaderas:
{p q} |= p r
{p p} |= r r q

{p q, q p r} |= p (p q) r
{p q r} |= r p

Ejercicio 14. Determina si los siguientes argumentos son logicamente correctos:

1. Si Juan es comunista, entonces Juan es ateo. Juan es ateo. Por tanto, Juan es comunista.
2. Cuando tanto la temperatura como la presion atmosferica permanecen contantes, no
llueve. La temperatura permanece constante. En consecuencia, en caso de que llueva, la
presion atmosferica no permanece constante.
3. Siempre que un n
umero x es divisible por 10, acaba en 0. El n
umero x no acaba en 0.
Luego, x no es divisible por 10.
4. Para que un n
umero x sea divisible por 5, es necesario que el n
umero acabe en 0. El
n
umero x no acaba en 0. Luego, x no es divisible por 5.
5. El n
umero y es negativo si x es positivo. Cuando z es negativo, y tambien lo es. Por tanto,
y es negativo siempre que o bien x sea positivo o bien z sea negativo.
6. En cierto experimento, cuando hemos empleado un farmaco A, el paciente ha mejorado
considerablemente en el caso, y solo en el caso, en que no se haya empleado tambien un
farmaco B. Ademas, o se ha empleado el farmaco A o se ha empleado el farmaco B. En
consecuencia, podemos afirmar que si no hemos empleado el farmaco B, el paciente ha
mejorado considerablemente.

Ejercicio 15. Cual de las siguientes formulas representa la proposicion Llegara en el tren
de las 8:15 o en el de las 9:15, si llega en el primero, entonces tendra tiempo para visitarnos?.
Donde p expresa Llegara en el tren de las 8:15, q expresa Llegara en el tren de las 9:15 y
r expresa Tendra tiempo para visitarnos.
1. (p q) (p r)
2. p q r
3. p q r
4. (p q) (p r)
Ejercicio 16. Cuales de las siguientes formulas representa la proposicion Si Juan ha instalado
calefaccion central en casa, entonces o ha vendido el coche o no pagado la hipoteca, donde p
expresa Juan ha instalado calefaccion central en casa, q expresa Juan ha vendido el coche
y r expresa Juan no ha pagado la hipoteca.
1. p q r
2. (p q) r
3. p q r
4. p q r
Ejercicio 17. Cuales de las siguientes proposiciones pueden escribirse como p (q r), para
p, q y r adecuados?
1. Si la inflacion sube y hay elecciones cerca, entonces las pensiones suben.
2. Puedes nadar, o usar la sauna y la ducha.
3. Tienes que comprar pan, queso y vino.
4. Las plantas necesitan agua y alimento, pero no que les hablen.
Ejercicio 18. Elegir de las afirmaciones siguientes aquella/s que sea/n equivalente/s a No
es cierto que sea suficiente trabajar para ser feliz.
a) No trabajar es suficiente para no ser feliz.
b) Para ser feliz es necesario trabajar.
c) No es posible trabajar y no ser feliz al mismo tiempo.
d) Se puede trabajar y no ser feliz.
e) Se trabaja o no se es feliz.
4