0% encontró este documento útil (0 votos)
174 vistas10 páginas

Guía de Álgebra: Lógica y Razonamiento

Este documento presenta una guía de ejercicios y problemas sobre lógica y álgebra. Incluye 11 secciones que cubren temas como proposiciones lógicas, conectivos lógicos, equivalencia lógica, leyes lógicas, razonamiento deductivo válido, cuantificadores y circuitos lógicos. Proporciona más de 100 ejercicios con instrucciones detalladas para que los estudiantes practiquen y apliquen conceptos lógicos y de álgebra. El objetivo es que los estudiantes

Cargado por

Gerald Orozco
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
0% encontró este documento útil (0 votos)
174 vistas10 páginas

Guía de Álgebra: Lógica y Razonamiento

Este documento presenta una guía de ejercicios y problemas sobre lógica y álgebra. Incluye 11 secciones que cubren temas como proposiciones lógicas, conectivos lógicos, equivalencia lógica, leyes lógicas, razonamiento deductivo válido, cuantificadores y circuitos lógicos. Proporciona más de 100 ejercicios con instrucciones detalladas para que los estudiantes practiquen y apliquen conceptos lógicos y de álgebra. El objetivo es que los estudiantes

Cargado por

Gerald Orozco
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

Escuela Militar de Ingeniería

Mariscal Antonio José de Sucre


Unidad Académica La Paz
Ciencias Básicas

Guía de Ejercicios y Problemas


Álgebra

Mariscal Antonio José de Sucre

Editado por

Marco Antonio Colque Ch.

La Paz  Bolivia
2023
Índice general

1. Lógica 3
1. Proposiciones y Conectivos Lógicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2. Equivalencia Lógica y Leyes Lógicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.1. Citcuitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
3. Razonamiento deductivo válido y Reglas de inferencia . . . . . . . . . . . . . . . . . . . 7
4. Cuanticadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9

2
Capítulo 1

Lógica
1. Proposiciones y Conectivos Lógicos
1. Determina cuales de las siguientes frases son proposiciones:

(a) Tómate 2 aspirinas

(b) 4+2=5 o 20 es múltiplo de 5

(c) 289 + 1 es un número impar

(d) Me duele la cabeza

(e) Si la tierra es plana, entonces 3+3=6


(f ) 2 es un número primo y 9 es un número par

(g) ¾Cuántos años tienes?

(h) xy = yx
(i) Hoy es lunes si y solo si mañana es martes

2. Lee con cuidado el siguiente párrafo: Çaía una espesa lluvia. Juan se despertó y lanzó un gemido
½Aj,. . . aj,. . . el colegio! Se levantó de la cama y se sentó en una silla. Oyó la bocina de un auto o
el silbato de un policía. Entonces se estremeció. Por causa del frio o del miedo. Estaban haciendo
tanto ruido. Repentinamente se le iluminó la cara. ½Qué bien! Se había acordado de algo. Las
clases no empiezan hoy, sino mañana."

(a) Redacta una lista de las proposiciones simples del párrafo leído.

(b) En base a las proposiciones anteriores, haz una lista de proposiciones compuestas.

3. Sea p :Hace frío y q :Está lloviendo. Describir con un enunciado verbal las siguientes proposiciones:

(a) ∼ p. (e) ∼ q →∼ p.
(b) p ∨ q.
(f ) ∼ p ∨q .
(c) q ∧ p.
(d) p → q. (g) p ↔∼ q .

4. Sabemos que p∨ ∼ q es enunciado falso. Usa esta información para proporcionar los valores de
verdad de:

3
(a) p∧q (c) q∧p
(b) p→q (d) p∨q

5. Si el valor de verdad las proposiciones p, q, r, s son V, F, V, V respectivamente, deducir el valor de


verdad de las siguientes proposiciones;

(a) p ∧ ∼ (∼ r ∧ s) (c) p ∨ ∼ (p ∨ ∼ q). Resp.- V.


(b) ∼ p → (∼ q ↔ s) (d) [s ∨ ∼ (p ∧ q)] → (r ∧ s). Resp.- V.

6. Una proposición se denomina Tautología si su valor de verdad es siempre verdadero y Contradic-


ción si su valor de verdad es siempre Falso. Determinar cuales de las siguientes proposiciones son
tautologías y contradicciones o ninguna.

(a) ∼ p ∨ ∼ (∼ p∧ ∼ p). Resp.- T (c) p ∨ ∼ (p ∨ ∼ q). Resp.- Ninguna.

(b) ∼ p → (p ↔ q). Resp.- Ninguna. (d) (p →∼ q) ∨ (p ∧ q)

7. Sabiendo que q ∨p es verdad y que ∼q es falso, determinar el valor de verdad de

[(p ∨ q) ∧ q] →∼ q, [(∼ p ∧ ∼ q) ∧ (r → q)] ∧ q

Resp.- F, F
8. Determine el valor de verdad de los siguientes enunciados:

(a) No es verdad que, si 2+2=4 entonces 3+3=5 ó 1 + 1 = 2. Resp.-F .

(b) Si 2 + 2 = 4, entonces no es verdad que 2+1=3 y 5 + 5 = 8. Resp.-V .

(c) 2 + 7 ̸= 9 si y solo si, 2+1=5 implica 5 + 5 = 8.


(d) Si ∼ (2 > 4) entonces o 1+1=2 ó ∼ (2 = 4).
(e) Si 3 < 5, entonces −3 < −5.

9. Sabiendo que ∼ (r → p) es una proposición verdadera, hallar el valor de verdad de las proposi-
ciones:

(a) (p ∧ ∼ q) →∼ (s ∨ r). Resp.-V

(b) [(∼ r ∧ q) ∨ ∼ p ] → [∼ (p ∧ s)∨ ∼ r]. Resp.-V

(c) [(∼ p ∨ s) → (q∧ ∼ r)] ↔ ( p →∼ q).


10. Determinar la tabla de verdad de las siguientes proposiciones e indicar cuales son tautologías.
Además represente cada proposicoón en términos de circuitos lógicos.

(a) p ∧ (∼ p ∨ q). (d) [(p →∼ q) ∧ p]∨(∼ p ∧ q).


(b) ∼ p ∨ (∼ p ∧ q). (e) [(∼ p∨ ∼ q) ∧ (p →∼ q)]∨ ∼ (∼ p ↔ q).
(c) ∼ [q∧ ∼ (p ∧ r)] (f ) [(∼ p ∨ q) ∧ (q → r)] →∼ (p∧ ∼ r)

11. Determinar la tabla de verdad de las siguientes proposiciones e indicar cuales son contradicciones.

(a) [(∼ p ∧ q) →∼ r] ↔ [r∧ ∼ (p∨ ∼ q)].


(b) [(p ∧ q) ∨ [p ∧ (∼ p ∨ q)]] ∨ ∼ (p →∼ q).
2. EQUIVALENCIA LÓGICA Y LEYES LÓGICAS 5

2. Equivalencia Lógica y Leyes Lógicas


12. Demostrar que

(a) (p∨ ∼ q) ∧ (p ∨ q) ≡ p. (d) (p ∨ q)∨ ∼ q ≡ T


(b) (∼ p ∧ r) ∨ (∼ p∧ ∼ r) ≡∼ p
(e) (p ∨ q) ∨ p ≡ T
(c) [(p ∨ r) → q] ∧ [(∼ p∧ ∼ r)∨ ∼ q] ≡∼ p∧ ∼
r (f ) (p∧ ∼ q) ∧ (∼ q∧ ∼ p) ≡ C .

13. Demostrar que:

(a) (∼ p∨ ∼ q) → p ≡ p
(b) [(p →∼ q) ∧ (∼ q ∨ p)]∨(∼ p∧ ∼ q) ≡∼ q ∧ p
(c) [(∼ q →∼ r)∧ ∼ (∼ p ∨ r)] → (p∧ ∼ r) ≡ T
(d) (p ∨ ∼ q) ∧ (∼ p →∼ q) ≡ p∨ ∼ q

14. Simplicar las siguientes proposiciones:

(a) ∼ [p ∧ (∼ p → (r ∨ ∼ q))] → (∼ p∧ ∼ q).


(b) ∼ [p ∧ (q∨ ∼ p)] →∼ (p ↔∼ q).
(c) [p → (∼ p →∼ q)] ∨ [∼ q ↔ (p∧ ∼ q)].

15. Simplicar los siguientes enunciados:

(a) No es verdad que, las rosas son rojas implica que las violetas son azules.

(b) No es verdad que, hace frio y esta lloviendo.

(c) No es verdad que, hace frío o que esta lloviendo.

(d) No es verdad que, las rosas son rojas si y solo si las violetas son azules.

2.1. Citcuitos

16. Escriba la proposición asociada a cada una de los siguientes circuitos y simplicar, representar la
proposición simplicada como un circuito.

a)
p r

p q

Resp.- (∼ p∧ ∼ r) ∧ ‘[r ∨ (p∧ ∼ q)] ≡ C .


p
q

b) q

p q p q

p
q

q p

c)
p q p

p q p q

q
q q
p

d)
p p

p
p q
q

q q
q
p p

e)
p q p
p
p

Resp.- {[∼ q ∨ (p∧ ∼ p ∧ q)]∨ ∼ p} ∧ {[q ∧ (q∨ ∼ p)]∨ ∼ p ∨ (∼ p ∨ r)} ≡∼ p ∨ (∼ q ∧ r).


3. RAZONAMIENTO DEDUCTIVO VÁLIDO Y REGLAS DE INFERENCIA 7

q
q
p
p

f) r p
p
p
p
r
r

3. Razonamiento deductivo válido y Reglas de inferencia


17. Demostrar la validez de los siguientes Razonamientos

a) s→∼ t b) p→s c) s → (p ∨ q) d) p∧r


t ∼s s p→ s
∼s→r ∼p→t ∼p r∧t
∴ r ∴ t ∴ q ∴ s∧t

18. Demostrar que los siguientes son razonamientos deductivos válidos

(a) {s ∧ p, q∨ ∼ r, s → r} ⊢∼ s ∧ t.
(b) {t → r, r →∼ s, t} ⊢ ∼ s.
(c) {∼ q ∨ s, ∼ s, ∼ (r ∧ s) → q} ⊢ r.

19. Demostrar que los siguientes son razonamientos deductivos válidos

(a) {r →∼ t, s → r, s} ⊢∼ t.
(b) {a → (b ∧ d), b ∧ d → c, a} ⊢ c.
(c) {∼ p →∼ q, ∼ p, ∼ q → r} ⊢ r.

20. Simbolizar cada uno de los siguientes razonamientos y demostrarlos

(a) Si 2 es mayor que 1, entonces 3 es mayor que 1.


Si 3 es mayor que 1, entonces 3 es mayor que 0.
2 es mayor que 1.
Por lo tanto, 3 es mayor que 0.
(b) a + 1 = 2.
Si a + 1 = 2 entonces b = 1 + 2.
Si b + 1 = 2 entonces a = b.
Por lo tanto a = b.

(c) Esta ley será aprobada en esta sesión si y solo si es apoyada por la mayoría. Es apoyada por
la mayoría o el gobernador se opone a ella. Si el gobernador se opone a ella, entonces será
pospuesta en las deliberaciones del comité. Por lo tanto, est ley será aprobada en esta sesión
o será pospuesta en las deliberaciones del comité.
(d) Un líquido es un ácido si y solo si colorea de azul el papel de tornasol rojo. Un líquido colorea
de azul el papel de tornasol rojo si y solo si contiene iones de hidrógeno libres. Por lo tanto,
un líquido es un ácido si y solo si contiene iones de hidrógeno libres.

21. Demostrar que los siguientes son razonamientos deductivos válidos

(a) {s →∼ t, t, ∼ s → r} ⊢ r. (f ) {t → r, r →∼ s, t} ⊢ ∼ s.
(b) {p → s, ∼ s, ∼ p → t} ⊢ t.
(g) {∼ q ∨ s, ∼ s, ∼ (r ∧ s) → q} ⊢ r.
(c) {s → (p ∨ q), s, ∼ p} ⊢ q .
(d) {p ∧ r, p → s, r → t} ⊢ s ∧ t. (h) {v →∼ p, p∧ ∼ t, s → t, q → u, s ∨ (q ∧
(e) {s ∧ p, q∨ ∼ r, s → r} ⊢ q ∧ p. r)} ⊢ u∧ ∼ v .

22. Establecer si el argumento es válido o no.

(a) Si voy en auto a mi trabajo, entonces llegaré cansado. Yo no voy en auto a mi trabajo. Por
lo tanto no llegaré cansado. Resp.- Es válido.

(b) Me volveré famoso o no me convertiré en escritor. Me convertiré en escritor, por lo tanto me


volveré famoso. Resp.- No es válido.

(c) Si lo intento con ahínco y tengo talento, me convertiré en músico. Si me convierto en músico,
entonces seré feliz. Luego si no voy a ser feliz, entonces no intentaré con ahínco o no tengo
talento

23. ¾Cuál es la conclusión que se obtiene para la argumentación?

(a) Si el abanico estaba funcionando entonces los ladrones estuvieron en la cocina y activaron el
interruptor. Si nadie vio la luz encendida, entonces no activaron el interruptor. O nadie vio
la luz encendida o quien la vio no quiso involucrarse. El abanico estaba funcionando.Resp.-
.Quien vio la luz quiso involucrarse

(b) Antonio dice la verdad o Marta estaba en el parque con María. Si Marta estaba en el parque
con María, entonces llego tarde a la cita. Si Marta llego tarde a la cita, entonces ella no vio
al ladrón. Resp.- Antonio dice la verdad o Marta vio al ladrón.

(c) Si Rosa fue al teatro, entonces Raúl no fue. Si Raúl no fue al teatro, entonces Javier tampoco
fue. Si Javier tampoco fue al teatro, entonces la obra no vale la pena. La obra si vale la pena
o Adrián no la verá. Rosa fue al teatro.

(d) Todos los abogados son ricos. Los poetas son caprichosos. Marcos es abogado. Ningún capri-
chosos es rico.

(e) Los niños son ilógicos. No se desdeña a quien puede domar un cocodrilo. Las personas ilógicas
son desdeñadas.

24. Considera las siguientes hipótesis: Si aprendo inglés o francés, entonces me desenvolveré bien en
Canadá. Si aprendo alemán, entonces no me desenvolveré bien y mi viaje será un fracaso. No me
desenvolveré bien en Canadá. ¾Cuál de las siguientes conclusiones puede inferirse de las hipótesis
dadas?

(a) Aprenderé alemán

(b) Mi viaje será un fracaso

(c) No aprenderé francés.


4. CUANTIFICADORES 9

(d) Si mi viaje fue un fracaso, entonces aprendí alemán

(e) Si aprendo inglés, mi viaje no será un fracaso.

Res.- (c)

4. Cuanticadores
25. Representar simbólicamente a las siguientes proposiciones.

(a) Todos los genios son despistados. Resp.- Si p(x) : x es genio y q(x) : x es despistado. Tenemos
∀x : p(x) → q(x).
(b) Ningún número real es solución de la ecuación x2 + 1 = 0 .
(c) Algunos matemáticos son lósofos.

(d) Todos los números primos, son impares.

(e) Para todo número real x, existe un número real y tal que su producto es igual a 1
(f ) Ningún triángulo isósceles es escaleno.

26. Sea A = {1, 2, 3} determinar el valor de verdad de las siguientes proposiciones y negarlas.

(a) ∀x ∈ A, ∀y ∈ A, x2 + 3y ≤ 12.
(b) ∀x ∈ A, ∃y ∈ A, x2 + 3y ≤ 12.
(c) ∃x ∈ A, ∀y ∈ A, x2 + 3y ≤ 12
(d) ∃x ∈ A, ∃y ∈ A, x2 + 3y ≤ 12

27. En los siguientes ejercicios a, b, c y n son números enteros. Demuestre:

(a) Si n es impar, entonces n2 es impar. (j) Si n2 es impar, entonces n es impar.

n 2
es par, entonces n es par. 2
(b) Si (k) Si n es impar, entonces n es impar.

(c) Si n 3
es impar, entonces n es impar . (l) Si a no divide a bc, entonces a no divide a

(d) Si a 2
es impar, entonces a +3a+5 es impar b.
. (m) Si 4 no divide a a2 , entonces a es impar.

(e) Si a, b son pares entonces a·b es par. (n) Si n es impar, entonces

(f ) Si a, b son impares entonces a·b es impar.


8|(n2 − 1)
(g) Si a|b y a|c entonces a|b + c.
(h) Si a|b entonces (ñ) Si n es un numero entero, entonces

a|3b3 − b2 + 5b 4 ̸ |(n2 + 2)
(i) Si n es un número entero, entonces
(o) Si n es un entero,entonces 4|n2 o 4|(n2 − 1)
n2 + 3n + 4 (p) Si a|b y a|(b2 − c) entonces a|c.

28. En los siguientes ejercicios demuestre que la proposición es falsa:

(a) Si n es un numero natural, entonces 2n2 − 4n + 31 es primo.


(b) Si n es un numero natural, entonces n2 + 17n + 17 es primo.

(c) Si n2 es par, entonces n es par.

(d) Si a es un número entero, entonces 4|(a2 − 3).

También podría gustarte