Guia 1-Logica

Universidad de Talca Matemáticas I (IIE)
Instituto de Matemática y Fı́sica
Guı́a 1 - Lógica
1. Siendo p: José es estudioso y q: Juan es estudioso, escribir en forma simbólica:
(a) José es estudioso y Juan no es estudioso.

(b) José no es estudioso y Juan es estudioso.
(c) José y Juan, no son estudiosos.
(d) No es cierto que Juan o José sean estudiosos.
2. Cuál de los siguientes representa un “o” no excluyente.
(a) Si ganáse mucho dinero o ganara la loterı́a, harı́a un viaje

(b) El lunes iré a la estación de trenes o al terminal de buses
(c) x = 3 ó x = −2
3. Verificar, utilizando tablas de verdad, cuáles de las siguientes proposiciones son equivalentes:
(a) p Y ∼ q (c) (p ∧ q) ∨ (∼ p ∧ ∼ q)
(b) ∼ p ∨ q (d) (p ∨ ∼ q) ∧ (∼ p ∨ q)
4. Encuentre el valor de verdad de
[∼ (p ⇒ q) ∧ (∼ p ∧ q)] ∨ (r ⇒∼ p)
si p : el número 2 es par, q es F y r : los gatos tienen 5 patas.
5. Construya las tablas de verdad de las siguientes proposiciones:
(a) [(p ⇒ q) ⇒ (q ⇒ p)] ⇔ (p ∨ ∼ q) (d) (p ∧ ∼ q) ⇒ (∼ p ∨ q)

(b) p Y (q ∨ r)
(c) ∼ (∼ p ⇔ q) (e) [p ∧ (∼ q ⇒ p)] ∧ [(p ⇔∼ q) ⇒ (q ∨ ∼ p)]
6. Pruebe que son tautologı́as:
(a) [p ∨ (p ∧ q) ⇔ p] (e) p ⇒ [q ⇒ (p ∧ q)]

(b) (p ∧ q) ⇒∼ (∼ p ∧ ∼ q)
(f) (p ⇒ (q ∧ r)) ⇔ ((p ⇒ q) ∧ (p ⇒ r))
(c) q ⇒ (p ⇒ q)
(d) (p ∧ q) ⇒ r ⇔ (p ⇒ r) ∨ (q ⇒ r) (g) [p ∨ (p ∧ q)] ⇔ p
7. Probar las siguientes equivalencias:
(a) p Y (q Y r) ≡ (p Y q) Y r (e) p ∧ (p ∨ q) ≡ p
(b) p ∧ (q Y r) ≡ (p ∧ q) Y (p ∧ r)
(f) ∼ (p ∧ q) ≡∼ p ∨ ∼ q
(c) p ∨ q ≡ (p Y q) Y (p ∧ q)
(d) p ∧ q ≡ p Y (p ∧ ∼ q) (g) p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
8. Averiguar si son equivalentes las proposiciones:
(p ∧ q) ⇒ r y [(p ⇒ r) ∧ (q ⇒ r)]
9. Encuentre el valor de verdad de: [(p ⇒ q) ∨ (∼ p ∧ q)] ∧ (r ⇒ q) si
(a) p es V, q es V y r es F (c) p es F, q es F y r es F
(b) p, r son F y q es V (d) si son todas verdaderas
10. Hallar proposiciones mas cortas equivalentes a las siguientes proposiciones:
(a) p ∧ (q ∧ ∼ p) (h) p ∧ ∼ (q ⇒ p)
(b) (p ∧ q) ∨ p (i) [p ∨ (q ⇔∼ p)] ⇒∼ q
(c) (p ⇒ q) ∨ ∼ p
(j) [∼ (p ⇒ q) ∧ (∼ p ∧ q)] ∨ [r ⇒ (p ∨ r)]
(d) (p ⇒ q) ∨ p
(k) ∼ p ∧ (q ∧ p)
(e) (q ⇒ p) ⇒ p
(f) (p ⇒ q) ⇒ p (l) [p ⇒ (∼ p ∨ r)] ∧ [r ⇒∼ p]
(g) (p ⇒∼ q) ∨ q (m) [∼ (p ⇒ q) ⇒∼ (q ⇒ p)] ∧ (p ∨ q)
11. Derive a partir de las equivalencias elementales, las siguientes equivalencias:
(a) ((p ∧ q) ⇒ r) ≡ ((p ⇒ r) ∨ (q ⇒ r))

(b) ((p ⇒ q) ∧ q) ⇒∼ p ≡ q ⇒∼ p
12. Demostrar:
(a) p ∨ (p ∧ q) ≡ p (e) (p ∧ ∼ q) ⇒ r ≡∼ p ∨ (q ∨ r)
(b) p ∧ (p ∨ q) ≡ p (f) [{(p ⇒ q) ∧ (p ⇒ t)} ∨ {(r ⇒ q) ∧ (r ⇒
(c) ∼ (p ∨ q) ∨ (∼ p ∧ q) ≡∼ p t)}] ≡ {(p ∧ r) ⇒ (q ∧ t)}
(d) ∼ (p ⇒∼ q) ⇔ (p ∧ q)
13. Exprese en sı́mbolos lógicos y después niegue las siguientes oraciones:
(a) Todo múltiplo de 4 es número primo.

(b) Si 2 es par entonces todos los números son pares
(c) Todo número mayor que 2 es la suma de dos números primos.
14. Sea A = {0, 1, 2, 3, 4, 5, 6}. Escribir en sı́mbolos y averiguar el valor de verdad de:
(a) Hay un elemento que es mayor que todos.

(b) Existe un único elemento cuyo cuadrado es 4.
(c) Para todos los elementos de A, sea x el elemento que sumado 1 unidad, siempre es
mayor que cero entonces su cuadrado es menor que 35.
(d) Para cada elemento existe otro que es menor o igual que él.
15. Si las proposiciones a y b son tales que la proposición ∼ (a ∧ b) ⇒ (a ∨ b) es verdadera,

determinar el valor de verdad de (a ∧ b) ∨ (a ∨ b).
16. Sea A = {1, 2, 3, 4, 5}.
(a) Hallar el valor de verdad de los siguientes enunciados

(b) Negar estos enunciados:
i. (∃ x ∈ A)(x + 3 = 10) iv. (∀ x ∈ A)(x + 3 ≤ 7)

ii. (∀ x ∈ A)(x + 3 < 10) v. (∃! x ∈ A)(x2 − 3x + 2 = 0)
iii. (∃ x ∈ A)(x + 3 < 5)
17. Escribir en sı́mbolos las siguientes expresiones. Considere como universo el conjunto de los
números naturales.
(a) Todo número es mayor o igual que sı́ mismo.

(b) Si el número x es menor que y, entonces no es mayor que 9.
(c) x sumado con algún número resulta x.
(d) El producto de x con y es mayor que x, y mayor que y.
18. ¿Cuáles de las siguientes proposiciones son verdaderas?
(a) Si p ∨ q ≡ F entonces ∼ [(∼ q ⇒ p) ∧ ∼ p] es una tautologı́a.

(b) Si el número x es menor que y, entonces no es mayor que 9.
(c) x sumado con algún número resulta x.
(d) El producto de x con y es mayor que x, y mayor que y.
19. Demuestre las siguientes equivalencias.
(a) (p ⇒ q) ≡ [(p ∧ ∼ q) ⇒ q]
(b) (p ⇔ q) ≡ (∼ p ⇔∼ q)
(c) [p ⇒ (q ∧ r)] ≡ [(p ⇒ q) ∧ (p ⇒ r)]
(d) [(p ∧ q) ⇒ r] ≡ [(p ∧ ∼ r) ⇒∼ q]
(e) [p ⇒ (p ∧ ∼ (q ∨ r))] ≡∼ p ∨ (∼ q ∧ ∼ r)
(f) [(∼ p ∨ q) ∨ (∼ r ∧ ∼ p)] ≡ (q ∨ ∼ p)
20. Indique en cuáles de los siguientes casos p es condición suficiente para q; y en cuáles p es
condición necesaria y suficiente para q.
(a) p : A es múltiplo de 4 q : A es número par

(b) p : A y B son pares, q : A + B es par.
21. Negar las siguientes afirmaciones:
(a) ∀ x ∃ y (x + y = 5 ⇒ y = −x)
(b) ∀ x ∀ y [(x + y es impar) ⇒ (x es impar ∨ y es impar)]
(c) ∃ x ∀ y (x < y ∧ x2 ≥ y)
(d) ∀ x ∀ y ∃ z (x < y ⇒ x + z = y)
22. Averiguar el valor de verdad siendo U = R.
(a) ∀ x ∈ R (x < 0 ⇒ x < 3) (c) ∀ x ∈ R, ∃ y ∈ R (x2 + y 2 = 1)

(b) ∀ x ∈ R (x2 ≥ 0 ⇒ x4 = x3) (d) ∀ x ∈ R, ∀ y ∈ R (y < x ⇒ 2y < 10)
23. Dada la proposición, 8 no es impar divisible por 2, porque 9 no es múltiplo de 3. Determinar

el valor de verdad de la proposición y negarla.
24. Dadas las proposiciones abiertas p(x) : x2 ≥ x y (x) : x ≥ 0. Determine el valor de verdad
de las siguientes proposiciones:
1

(a) p 2 ⇒ q(1) ⇒ ∀x[p(x) ∧ q(x)] (b) ∀ x ∈ R : (∼ p(x) ⇒∼ q(x))
25. Si la proposición (p ∧ ∼ q) ⇒ (∼ r ⇒∼ t) es falsa, determine el valor de verdad de la

proposición (p ∧ t) ⇒ (r ∨ q) ⇒ (u ⇔ v).
26. Determine el valor de verdad de las siguientes proposiciones:
(a) ∀ x ∈ R : x2 ≥ x (c) ∃ x ∈ R : x2 + 2x + 1 ≤ 0
(b) ∃ x ∈ R : 2x = x (d) ∀ x ∈ R : −x2 + 4x − 5 > 0
27. Dibujar cicuitos lógicos que evaluan las proposiciones siguientes:
(a) p ⇒ q (f) (p ∧ r) Y (q Y (∼ p))

(b) r ⇔ s (g) (p ⇒ q) Y (∼ q)
(c) (∼ p) ∧ r (h) (r ∧ s) ⇔ (t Y p)
(d) s ∨ (∼ p) (i) (∼ r) Y (s ⇔ (q ∧ p))
(e) p ⇔ (∼ q) (j) ((r ⇒ s) ∨ (p ∧ q)) ⇒ ((q ∨ r) ∧ (s ⇒ p))

Guia 1-Logica

Cargado por

Copyright:

Formatos disponibles

Guia 1-Logica

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Guia 1-Logica

Cargado por

Copyright:

Formatos disponibles

Universidad de Talca Matemáticas I (IIE)

Instituto de Matemática y Fı́sica

1. Siendo p: José es estudioso y q: Juan es estudioso, escribir en forma simbólica:

(a) José es estudioso y Juan no es estudioso.

2. Cuál de los siguientes representa un “o” no excluyente.

(a) Si ganáse mucho dinero o ganara la loterı́a, harı́a un viaje

4. Encuentre el valor de verdad de

si p : el número 2 es par, q es F y r : los gatos tienen 5 patas.

5. Construya las tablas de verdad de las siguientes proposiciones:

(a) [(p ⇒ q) ⇒ (q ⇒ p)] ⇔ (p ∨ ∼ q) (d) (p ∧ ∼ q) ⇒ (∼ p ∨ q)

6. Pruebe que son tautologı́as:

(a) [p ∨ (p ∧ q) ⇔ p] (e) p ⇒ [q ⇒ (p ∧ q)]

8. Averiguar si son equivalentes las proposiciones:

9. Encuentre el valor de verdad de: [(p ⇒ q) ∨ (∼ p ∧ q)] ∧ (r ⇒ q) si

10. Hallar proposiciones mas cortas equivalentes a las siguientes proposiciones:

11. Derive a partir de las equivalencias elementales, las siguientes equivalencias:

(a) ((p ∧ q) ⇒ r) ≡ ((p ⇒ r) ∨ (q ⇒ r))

13. Exprese en sı́mbolos lógicos y después niegue las siguientes oraciones:

(a) Todo múltiplo de 4 es número primo.

(a) Hay un elemento que es mayor que todos.

15. Si las proposiciones a y b son tales que la proposición ∼ (a ∧ b) ⇒ (a ∨ b) es verdadera,

16. Sea A = {1, 2, 3, 4, 5}.

(a) Hallar el valor de verdad de los siguientes enunciados

i. (∃ x ∈ A)(x + 3 = 10) iv. (∀ x ∈ A)(x + 3 ≤ 7)

(a) Todo número es mayor o igual que sı́ mismo.

18. ¿Cuáles de las siguientes proposiciones son verdaderas?

(a) Si p ∨ q ≡ F entonces ∼ [(∼ q ⇒ p) ∧ ∼ p] es una tautologı́a.

19. Demuestre las siguientes equivalencias.

(a) p : A es múltiplo de 4 q : A es número par

21. Negar las siguientes afirmaciones:

22. Averiguar el valor de verdad siendo U = R.

(a) ∀ x ∈ R (x < 0 ⇒ x < 3) (c) ∀ x ∈ R, ∃ y ∈ R (x2 + y 2 = 1)

23. Dada la proposición, 8 no es impar divisible por 2, porque 9 no es múltiplo de 3. Determinar

25. Si la proposición (p ∧ ∼ q) ⇒ (∼ r ⇒∼ t) es falsa, determine el valor de verdad de la

26. Determine el valor de verdad de las siguientes proposiciones:

27. Dibujar cicuitos lógicos que evaluan las proposiciones siguientes:

(a) p ⇒ q (f) (p ∧ r) Y (q Y (∼ p))

También podría gustarte