Universidad Mayor de San Andrés

Facultad de Ciencias Económicas y Financieras

Carrera de Economía
Docente: Lic. Aldo Reyes
Auxiliar: Claudia María Catari Choquecallo

Práctica N° 1
Formalice las siguientes preposiciones:
1. “Siempre que los herbívoros corren o el frio en los polos es intenso los planetas
giran en torno al sol”
2. “Si es cierto que Aristóteles nació en Estagira y que fue tutor de Alejandro Magno
y, además, que si nació en Estagira era macedonio por su nacimiento, entonces
era efectivamente macedonio.”
3. “Si se ganan las elecciones y nuestros representantes acceden al poder,
confiaremos si y sólo si cumplen sus promesas y el poder no les corrompe”
4. “Si continúa la investigación, surgirán nuevas evidencias. Si surgen nuevas
evidencias, entonces varios dirigentes se verán implicados. Si varios dirigentes
están implicados, los periódicos dejaran de hablar del caso. Si la continuación de
la investigación implica que los periódicos dejen de hablar del caso entonces, el
surgimiento de nuevas evidencias implica que la investigación continúa.”
5. “Sócrates no cometería una mala acción. Si devuelve mal por mal, estará
cometiendo una mal acción. Si rompe un acuerdo con el Estado porque ha sido
injustamente condenando, está devolviendo mal por mal. Por tanto, si el huir de la
prisión significa romper un acuerdo por haber sido injustamente castigado, Sócrates
no huirá de la prisión.”
6. “Sin carbono, oxígeno, nitrógeno e hidrogeno, no hay vida.”

Construya una tabla de verdad para las siguientes proposiciones:

7. ( ˄ )˅( → ~ )
8. ( ↔ ) → [( ˄ ) → ~ ]
9. ~ ˅ ~[ ˅( → )]
10. ( ˅ )˄~( ˅ )
11. [ → ( ˅ )] ↔ [( ˄ ) → ¬ ]
12. ( → ~ )˅( → ~ )
13. [( ˅ )˅ ] ↔ [ ˅( ˅ )]
14. ( → ) → [( ˅ )˅~ ]
15. [( → ) ˄ ( → )] ↔ ( ↔ )
16. [( ˅ )˄( ˅~ )] → ~
17. [( ˄ ) → ] ↔ [( ˅~ )˄(~ ˄~ )
18. [( → )˄ ( → )] → ( → )

Traducir las siguientes proposiciones de un lenguaje formal

matemático a un lenguaje natural.
 p=Él estudia informática,
q=A él le gustan las computadoras
r=A él le gusta la experiencia educativa de lógica
19. →( ˄ )
20. ~ → ( ˄ )
21. ( ˄~ ) → ~( ˅ )

Seleccione la respuesta correcta (equivalencia lógica)

22. “Es falso que las clases se suspenden o la universidad cierra, si se inician las
vacaciones. Nos han comunicado falsamente que ni las clases se suspenden ni
la universidad cierra.”
a) Se inician las vacaciones
b) No se inician las vacaciones
c) Se suspenden siempre las clases
d) Las clases no se suspenden
e) La universidad cierra

23. Pía dice: “Adelgazo o no hago dieta”. Esto equivale a decir:

a) Si adelgazo, hago dieta
b) Si no adelgazo, hago dieta
c) Si hago dieta, no adelgazo
d) Si hago dieta, adelgazo
e) Hago dieta o no adelgazo

24. ¿Cuántas de las siguientes alternativas son equivalentes a: “¿Si te desabrigas,

te resfrías”?
I) Si te resfrías, te desabrigaste.
II) No te desabrigues o te resfriarás
III) Si no te resfrías, no te desabrigas
IV) No te resfrías o te desabrigas

a) 0 b) 1 c) 2 d) 3 e) 4

25. ¿Cuántas de las siguientes alternativas son equivalentes a: “El dueño de una
tienda de venta de autos desea colocar en la puerta de su establecimiento un
letrero con un lema que lo identifique?” Al inicio tiene como candidatos los
siguientes lemas:

I) Un buen auto no es barato

II) Un auto barato no es bueno
III) Un auto es bueno o no es barato
IV) Un auto no es bueno y barato a la vez.

a) II y III b) I, II y IV c) I, II y III e) I y III

 26. Si ( ˅ ) → (~ → ) es falsa, entonces indique el valor de verdad de las
siguientes expresiones proposicionales:

I) ~ ˄
II) ( ˅ )→
III) ( → )˄( → )

a) FVF b) FFV c) FVV d) FFF e) VFV

Usando el álgebra de proposiciones, simplificar las proposiciones:

27. ~{[(~ )˅(~ )] ˅ ~ }

28. ~[( ˅ ) ↔ ]
29. ~[~(~ ˅ ) → ] ˅
30. [( ˅ ~ ) ˄ ] →
31. [( ˄ ) ˅ ( ˄~ )] ˅ (~ ˄ ~ )
32. ( ˅ ~ ) ˄ [ ˄ ( ˅ )]
33. [~( → ) → ~( → )] ˄ ( ˅ )
34. {[( → ) ↔ ~ ] ˄ ~ }
35. [( ˄ ~ ) ˄ ( → ) ˄ ] ˅
36. ~[~( ˄ ) → ~ ] ˅

Inferencia lógica
37. (1) → (1) →
(2) → (2) →~
(3) (3)

38. (1) (1) ~ →

(2) ~ → (2) →~
(3) → ~ (3) ~

39. (1) →~
(2)
(3) ~ → ( ˅ )

40. (1) ~ →
(2) →
(3) ~
(4) →~
(5) ~ →
(6) →#
41. (1) ~ →
(2) →~
(3) ˅
(4) ~

42. (1) ~ ˅~
(2) ~ →~
(3) ~ →
(4) ~

43. (1) →~
(2) ( ˄ )˅
(3) → ( ˅ $)
(4) ~ ˄ ~$

44. (1) ( ˄ )→
(2) ~( → )
(3) ˅
(4) →

Circuitos Lógicos
Plantear y Simplificar el siguiente circuito

45.
q
p
~

q
46.
p ~
~ ~

47.

~ ~
48.
~
~

49.
~ ~
~
~

50. ~
~