Ing.

Mary Dunnia López Fecha Presentación 22/09/2020

Practico Nro. 1: Lógica Simbólica

1. ¿Qué es la lógica?
2. ¿Qué es una proposición?
3. ¿Qué es un esquema proposicional?
4. Explique por qué algunos de los siguientes enunciados son o no proposiciones.
a. ¿Cómo es tu nombre?
b. El número 18 es divisible por 3.
c. Hola, ¿Cómo estás?
5. Determine el valor de verdad de cada una de las proposiciones simples.
a. Los números naturales son los enteros positivos.
b. Thales de Mileto descubrió la electricidad.
c. La U.A.G.R.M. es mejor que las universidades privadas.
d. Santa Cruz is more beautifull| than La Paz.
6. Sean las proposiciones:
p: “Dos es un número par”
q: “Dos es un número natural”
Exprese en el lenguaje común los siguientes enunciados simbólicos:
a. ~p
b. p v q
c. p<-> p
d. p -> ~q
e. (~p ^ q) -> p
7. Determine los valores de verdad de las siguientes proposiciones compuestas.
a. Si 2 + 2 = 4, entonces 2 + 4 = 8.
b. Si 2 + 2 = 4, entonces 2 + 4 = 6.
c. Si Simón Bolívar fue el primer presidente de Bolivia, entonces la tierra es plana.
8. Sean las proposiciones:
p: “Él es rico”
q: “Él es feliz”
r: “Él es pobre”
Traducir al lenguaje simbólico los siguientes enunciados escritos en lenguaje común. Use conectores lógicos.
a. Él no es rico y no es feliz.
b. Es falso que el es pobre y feliz.
c. Él no es rico ni pobre.
d. Él es pobre o bien es rico o no es feliz.
9. Suponiendo que p ⇒ q es falso, indica los valores de verdad para
a. p ∧ q b) p ∨ q c) q ⇒ p
10. Sabiendo que la proposición compuesta (~q) ∨ (q ⇒ p) es falsa, indique cual es el valor de verdad de las
proposiciones p y q.
11. Indique para qué valores de verdad de p y q resulta verdadera la proposición compuesta
(p ⇒ q) ∧ (~q ⇒ p).
12. Para las siguientes proposiciones compuestas, elabore las tablas de verdad correspondientes:
a) [(p ∨ q) ∧ r] ⇒ (p ∧ ~q)
b) ~(p ∧ q) ∨ (r ∧ ~p)
c) (p ∨ q) ∧ (~p ∨ q) ∧ (p ∨ ~q) ∧ (~p ∨ ~q)
13. Simplificar hasta llegar a: p v q

14. Simplificar hasta llegar a la expresión más sencilla posible:

[~(p v q) v (~p ^q)]→ (~p ^q)
15. Demostrar :

2
Ing. Mary Dunnia López Fecha Presentación 22/09/2020

16. Demostrar :

17. Demostrar :

18. Dermostrar:

NOTA: Algunos razonamientos puede que sean no validos (Ejer. 15, 16,17 y 18)

19. Si la tormenta continúa o anochece, nos quedaremos a cenar o a dormir; si nos quedamos a cenar o a dormir no
iremos mañana al concierto; pero si iremos mañana al concierto. Así pues, la tormenta no continúa.
a. Formalizar con las premisas p, q, r, s, t
b. Demostrar que : la tormenta no continua (~p)