Instituto Nacional Superior del Profesorado Técnico - UTN

Tecnicatura en Informática
Modelos Discretos – Turno mañana, Turno tarde y Turno noche (2014)

Práctica 1:
Lógica Proposicional

1. Analiza si las siguientes expresiones son proposiciones o no. Justifique su respuesta.

a. El origen de las máquinas de calcular está dado por el ábaco chino.
b. Compré una calculadora.
c. Compre una calculadora.
d. ¿Con el desarrollo de la segunda guerra mundial se construye el primer ordenador
llamado Mark I?
e. Existe un número impar cuyo cuadrado es cuatro.
f. x2+6=20-10
g. 32+6=20-10
h. Hay números enteros que satisfacen x2+6=20-10.
i. La inteligencia artificial es un área multidisciplinaria que combina disciplinas
como la informática, la lógica y la filosofía.

2. Asigna letras a las proposiciones simples que aparecen en las siguientes frases y
escríbalas en forma simbólica.
a. Leeré el libro de Informática o el de Matemática.
b. Leeré el libro de Informática o bien el de Matemática.
c. Aprobará los parciales si y sólo si viene a clase y estudia mucho.
d. Si estudia mucho aprobará la materia.
e. Solo si estudia mucho aprobará la materia.
f. No traeré la carpeta si no me llamas.
g. Traeré la carpeta o bien el libro.
h. Estudiaré en la biblioteca si no me llamas para ir a tu casa.
i. No iré ni llamaré.
j. No es cierto que el progreso de la informática sea rápido y la economía se haya
estancado.
k. Cuando leo la teoría, comprendo mejor la práctica.
l. Aprobaré la materia a menos que me vaya antes y no estudie.
m. Los libros de ciencia ficción, como los policiales, son entretenidos.
n. Con el dinero que me queda me compraré o un libro o un CD.
o. Estudiaremos en mi casa a menos que tengas que ir a clase.
p. La decisión dependerá del estudio o la aplicación, no de la casualidad.
q. Terminas la práctica o haces el programa.
r. O terminas la práctica o haces el programa.
s. Terminas la práctica pero haces el programa.
t. Es necesario que un alumno sea estudioso para que no deje de hacer la tarea.
u. Es suficiente que un alumno sea estudioso para que haga la tarea.

3. Da un ejemplo en lenguaje coloquial de una proposición que sea el tipo de proposición

pedida. Justifique cada respuesta.
a. Una tautología.
b. Una contradicción.
c. Una contingencia.

4. Determina si alguna de las siguientes fórmulas representa la proposición. En caso afirmativo,

indica cuál, en caso negativo indica qué modificación realizarías en aquella formalización que
más se aproxime:

1
“Llegará en el tren de las 8:15 o en el de las 9:15, si llega en el primero, entonces tendrá tiempo
para visitarnos”
con p expresa “Llegará en el tren de las 8:15”, q expresa “Llegará en el tren de las 9:15” y r
expresa “Tendrá tiempo para visitarnos”.

5. Cuáles de las siguientes fórmulas representa la proposición “Si Juan ha instalado calefacción
central en casa, entonces o ha vendido el coche o no pagado la hipoteca”, donde p expresa
“Juan ha instalado calefacción central en casa”, q expresa “Juan ha vendido el coche” y r
expresa “Juan no ha pagado la hipoteca”.

6. ¿Cuáles de las siguientes proposiciones pueden escribirse como p(qr), para p, q y r

adecuados?
a. Si la empresa invierte bien y hay elecciones de directorio, entonces las acciones suben.
b. Puedes cursar esa materia, o estudiar mucho y darla libre.
c. Tienes que traer un CD, lápiz y un cuaderno.
d. Las ventanas necesitan agua y jabón, pero no que las sequen.

7. Confecciona la tabla de verdad para las siguientes proposiciones y clasifíquelas:

a. (p  q )  (p   q)
b.  p  q  p
c.  (p  q)  (p  q)
d. (p  (q  r) )  ((p  q)  (q  r))

8. a. Construye todos los conectivos lógicos monádicos y diádicos posibles. ¿Cuántos de

cada tipo hay? Identifica entre ellos los ya estudiados.
b. ¿Cuántos conectivos n-ádicos es posible tener? ¿Por qué?

9. a. Analiza la equivalencia cada uno de los siguientes pares de proposiciones:

i. (p  q)  r y p  (q  r)
ii. (p  q)  r y p  (q  r)
b. Extrae conclusiones

10. Ricardo tiene tres amigos: Javier, Mario y Ariel. A cada uno de ellos su padre le dijo:
A Javier: “Te invito al cine si y sólo si apruebas Matemática”
A Mario: “Te invito al cine si apruebas Matemática”
A Ariel: “Te invito al cine sólo si apruebas Matemática”
Ricardo fue al cine y se encontró con sus tres amigos, cada uno con su padre.
Si sus padres cumplieron con su palabra ¿Puede saberse quiénes aprobaron Matemática?

2
 Instituto Nacional Superior del Profesorado Técnico - UTN
Tecnicatura en Informática
Modelos Discretos – Turno mañana, Turno tarde y Turno noche (2014)

11. Indica, sin utilizar tabla de verdad, cuales de las siguientes formas proposicionales son
tautologías, cuáles contradicción y cuáles contingencia. En tres de ellas verifique el resultado
obtenido efectuando la tabla de verdad correspondiente.
a ) [( p  q )  r ]  [(  p   q )  r ]
b) [  (  p  q )]  (  p  q )
c) [ p  (  p  q )]  (  p   q )
d ) [(q  ( p   p ))  ( r  ( p   p ))]  ( r  q )

12. Se define el conectivo triádico de Mc. Carthy; p  q, r mediante la expresión “si p es

verdadero, entonces el valor de verdad es el de q, sino el valor de verdad es el de r”:
a. Explicita su tabla de verdad
b. Utilizando esta operación triádica expresa todos los conectivos diádicos (puede hacer
uso, cuando sea necesario, de las constantes lógicas F y V).

13. Si se considera que la evaluación computacional del valor de verdad de una proposición
puede conducir a un error o a un resultado incierto, se justifica la existencia de un valor
de verdad intermedio: I (incierto). Considerando estos tres valores de verdad posibles: V,
I, F se pide:
a. Realice la tabla de verdad del conectivo triádico de Mc. Carthy para esta lógica
trivalente, definido como: “si p es verdadero, entonces el valor de verdad es el de q,
si p es falso el valor de verdad es el de r y si es incierto, el valor de verdad es
incierto”.
b. Teniendo en cuenta la tabla de verdad anterior y la expresión hallada para la
conjunción anteriormente a través del conectivo de Mc. Carthy, ¿es conmutativa la
conjunción así definida? ¿Por qué?
c. ¿Y qué puede afirmarse con respecto a la disyunción?

14. a) Justifica si la información sobre los valores de verdad de algunas proposiciones que se
dan en cada caso es suficiente o no para determinar el valor de verdad de la proposición
compuesta indicada:
(p  q)  (~p  r) con v(p) = V y v(q) = F
~[(~p  p)  q] con v(q) = F
b) Si v(q) = V. ¿qué valores de verdad deben tener las proposiciones p, r y s para que la
siguiente proposición resulte verdadera:
(q  [((~p  r)  ~ s)  (~ s  (~r  q))]

15. Verifica que las siguientes leyes lógicas son tautologías.

~ ~A  A (Ley de la Doble Negación)
(A  B)  ~A  B (Ley del Condicional Disyunción)
~ (A  B)  ~A  ~B (Ley de De Morgan)
~ (A  B)  ~A  ~B (Ley de De Morgan)
A  (B  C)  (A  B)  (A  C)(Ley de distributividad de la conjunción con respecto a la disyunción)
A  (B  C)  (A  B)  (A  C)(Ley de distributividad de la disyunción con respecto a la conjunción)

16. a. Demuestra que el conjunto unitario formado por la barra de Pierce es un conjunto
adecuado de conectivos.
b. Demuestra que el conjunto unitario formado por la negación de Sheffer es un conjunto
adecuado de conectivos.

3
17. Una isla está habitada por caballeros y escuderos. Los caballeros siempre dicen la verdad,
los escuderos mienten siempre. En la isla corres el rumor de que hay oro enterrado. Una
persona llega a la isla y pregunta a uno de sus habitantes si hay oro enterrado en la isla. El
habitante responde; "Hay oro en la isla si y sólo si yo soy un caballero".
a. ¿Puede determinarse si hay oro en la isla?
b. ¿Puede determinarse si el habitante es caballero o escudero?

18. Un comerciante fue asesinado por una banda de mafiosos por negarse a pagar protección.
Cinco hombres son detenidos y deben declarar ante el fiscal. Cada uno de los hombres hizo tres
declaraciones, dos verdaderas y una falsa. Las declaraciones fueron:
a. Yo no maté al comerciante. Nunca tuve un revólver de mi propiedad en mi vida.
D lo mató.
b. Yo no maté al comerciante. Nunca tuve un revólver de mi propiedad en mi vida.
Los otros tipos están tratando de sacarse el fardo de encima.
c. Yo no sé nada del asesinato. Nunca vi a E antes. D es el culpable.
d. Yo soy inocente. E es el culpable. A mintió cuando dijo que había sido yo.
e. Yo no sé nada del asesinato. B es el culpable. C responderá por mí, él me conoce
desde hace años.
¿Quién fue el culpable? Explica cómo llegas a esa conclusión.

19. Escribe una expresión equivalente sólo usando ~ ,  ,  y simplifique.

a ) (( p  q )  p )  (~ ( p  q ))
b) ( p  q )  ( ~ (~ p  q ))
c) ( p  q )  ( ~ ( p  q ))

20. a. Demuestra que las siguientes formas de razonamiento son válidas:

a. Modus ponens b. Modus Tollens c Modus Tollendo Ponens d. Silogismo hipotético

AB AB AB AB
A ~B ~A BC
B ~A B AC

e. Silogismo disyuntivo f. Simplificación g. Disyunción h. Contrarrecíproco

AB AB A AB
CD A AB ~B  ~A
AC
BD

i. Ley de Doble negación j. Condicional Disyunción k. Leyes de De Morgan l. Conjunción

~ ~A AB ~ (A  B) ~ (A  B) A
A ~A  B ~A  ¬B ~A  ~B B
AB
A ¬A  B ~A  ¬B ~A  ¬B
~ ~A AB ~ (A  B) ~ (A  B)

b. ¿Qué conclusión puede extraer de comparar los razonamientos anteriores con las leyes
lógicas?
c. Si considera las leyes lógicas vistas y las reglas de inferencia anteriores, ¿qué nuevas
instancias de las reglas de inferencia surgen?

4
 Instituto Nacional Superior del Profesorado Técnico - UTN
Tecnicatura en Informática
Modelos Discretos – Turno mañana, Turno tarde y Turno noche (2014)

21. Analiza si es posible deducir la proposición indicada a partir de las proposiciones dadas.
Justifique.
a. q  s a partir de q  r y ~r  s.
b. r  s a partir de p  r, q  s y p  q
c. r  s a partir de p  r, q  t, t s y p  q

22. Analiza la validez de los siguientes razonamientos: Aplica el método deductivo cuando
sea posible
a. p s b. pqs c. p  (r q)
pq st r  q____
qr tu p r
s q___
p

d.  ( p  q) e. (t  p)  q f. p
t q t  p___ p(qr)
r  t___ q r
r

23. Traduce los siguientes razonamientos al lenguaje de la lógica proposicional y analiza su

validez a través de la prueba de invalidez. En caso de ser válido, demuéstralo también
utilizando el método deductivo.
a. Si llueve las calles están vacías. Si las calles están vacías, los comercios obtienen pérdidas.
Los músicos no podrían sobrevivir si los comerciantes no les contratasen para componer
canciones para publicidad. Los comerciantes invierten en canciones publicitarias cuando
tienen pérdidas. Por tanto, si llueve los músicos pueden sobrevivir.
c. Si llueve no iré al mercado. Si no voy al mercado, o bien no tendré comida o bien iré al
restaurante. Llueve y tengo comida. Por lo tanto, no iré al restaurante.
d. Si hay resultados comprobables entonces o los expertos tienen razón o el libro está errado.
No hay resultados comprobables o si no los expertos se equivocan. Así pues, el libro no
está errado.
f. Si no especifico las condiciones iniciales, mi programa no comenzará. Habré programado
un ciclo infinito solo si mi programa no termina. Basta que el programa no comience o no
finalice para que falle. De ahí que sea necesario no solamente especificar las condiciones
iniciales sino también no programar un ciclo infinito para que el programa no falle.

24. a. Supón que A, B ├ C es un razonamiento válido. Demuestra que A ├ B C es también un

razonamiento válido. (├ significa: “se deduce”)
b. Supón que A ├ B C es un razonamiento válido. Demuestre que A, B ├ C es también un
razonamiento válido.
c. Generaliza el resultado de a) al caso de tener n premisas.

25. El duque fue asesinado y el detective analiza la situación de la siguiente manera: “El
asesinato se produjo a la medianoche y el callejón estaba oscuro, pero no solitario. El asesino
es el hermano del duque, el mayordomo o la amante del duque. El asesino fue un hombre si y
sólo si el callejón estaba solitario. Si el asesinato se produjo a la medianoche, el hermano del
duque no es el asesino o el asesino tiene un cómplice”.

5
 El detective llega a las conclusiones de que la asesina es la amante del duque y que no
tuvo cómplices.
a. Analiza la validez de cada una de las afirmaciones del detective. Pista: hay una
premisa implícita.
b. ¿Alguna de las premisas no es necesaria para determinar quien es el asesino? ¿Por qué?

26. Si la Bella Durmiente despierta, los habitantes del castillo también lo harán. Si el príncipe la
besa, despertará. El príncipe la besará si está de buen ver. O la besa o no se despierta nadie.
Como esto es un cuento, la princesa, a pesar de llevar 100 años dormida sigue de muy buen ver.
Si la princesa se despierta se casarán, vivirán felices y comerán perdices si no estamos en veda.
Estamos en veda.
a. ¿Se casan?
b. ¿Son felices?
c. ¿Comen perdices?
d. Justifica lógicamente las respuestas

27. Un director del departamento de Informática de una universidad afirma en su discurso:

Señoras, señores, buenas tardes:
Es hora de que recapacitemos sobre los estudios de informática en vísperas del asentamiento de
la titulación en nuestra Universidad. Se sabe que si los ordenadores hablasen, los informáticos no
existirían. Por otra parte, en la última reunión del Consejo de Universidades, éste afirmó que: "la
Universidad titulará informáticos mientras los ordenadores no hablen"; afirmación que nos
parece muy correcta, si bien lo cierto es que los ordenadores no hablan pero los informáticos
existen.
A partir del razonamiento anterior, responde:
a. ¿Es, por tanto, coherente que la Universidad expida títulos de informática en la
actualidad?
b. Justifica lógicamente