Scribd
Cargar
231 vistas2 páginas

Examen de Lógica y Álgebra Básica

Este documento presenta 20 ejercicios de lógica y matemáticas discretas para un examen parcial de álgebra en la Universidad Mayor de San Andrés. Los ejercicios 1-15 cubren conceptos lógicos como tablas de verdad, circuitos lógicos y razonamientos válidos, mientras que los ejercicios 16-20 provienen del libro de texto y tratan sobre conjuntos y relaciones matemáticas.

Cargado por

Mijael Montesinos Riveros
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
231 vistas2 páginas

Examen de Lógica y Álgebra Básica

Este documento presenta 20 ejercicios de lógica y matemáticas discretas para un examen parcial de álgebra en la Universidad Mayor de San Andrés. Los ejercicios 1-15 cubren conceptos lógicos como tablas de verdad, circuitos lógicos y razonamientos válidos, mientras que los ejercicios 16-20 provienen del libro de texto y tratan sobre conjuntos y relaciones matemáticas.

Cargado por

Mijael Montesinos Riveros
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

ÁLGEBRA (MAT-100)

UNIVERSIDAD MAYOR DE SAN ANDRÉS Docente: Ing. Nelson Bellot Kalteis


FACULTAD DE INGENIERÍA Aux.: Univ. Carlos Gonzalo Roman Prado
CURSO BÁSICO GRUPO:”F”

PRIMER PARCIAL
PRÁCTICA 1
LÓGICA
1. Determinar, por medio de una tabla de verdad, si la siguiente proposición es una
tautología, contradicción o contingencia:
{[𝑝 → (𝑞 ∧∼ 𝑝)] ∧∼ 𝑞} ↔∼ (𝑝 ∨ 𝑞)
2. Determinar, por medio de una tabla de verdad, si la siguiente proposición es una
tautología, contradicción o contingencia:
[(∼ 𝑝 ∨ 𝑞) ∧ (𝑞 → 𝑟)] →∼ (𝑝 ∧∼ 𝑟)
3. Sean q y s proposiciones cualesquiera, p y r proposiciones tales que ∼ (𝒑 ∨∼ 𝒓) es
verdadera. Hallar el valor de verdad de:
[(𝑟 ∨ 𝑞) → (𝑝 ∧ 𝑠)] → (∼ 𝑞 ⩡ 𝑠)
4. Sean p y r proposiciones cualesquiera, q y s proposiciones tales que ∼ (∼ 𝒒 ∧ 𝒔) es falsa.
Hallar el valor de verdad de:
[(𝑞 → 𝑝) ∨ (∼ 𝑝 ∧ 𝑟)] ∧ [(𝑝 → 𝑠) ∨∼ 𝑟]
5. Hallar el valor de verdad de las proposiciones p, q, r y s, sabiendo que:
∼ (𝑟 →∼ 𝑝) → (∼ 𝑞 ∨ 𝑠)
6. Sabiendo que p es F y que q es una proposición cualquiera, determinar el valor de verdad
de la proposición x, tal que:
[𝑥 ∨ (𝑝 ∧∼ 𝑞)] ↔ (∼ 𝑝 ∨ 𝑞) 𝑠𝑒𝑎 𝑉
7. Simplificar:
[(∼ 𝑞 → 𝑟) ∧∼ (𝑞 ∧∼ 𝑟)] → [(𝑟 → 𝑝) ∧ (𝑝 →∼ 𝑟)]
8. Simplificar:
[(𝑝 ∧∼ 𝑞) ∨ (𝑞 ∧ 𝑟)] ∧ [(𝑞 ∨ 𝑟) ∧∼ 𝑟]
9. Simplificar:
[(𝑝 →∼ 𝑟) →∼ 𝑝] → [𝑝 ∧ (∼ 𝑞 → 𝑟)]
10. Simplificar:
[(∼ 𝑝 ↔ 𝑞) ∧ 𝑟] ∨ [𝑟 ∧ (𝑝 ⩡∼ 𝑞)]
11. Determinar una proposición x, tal que:
[(𝑥 → 𝑝) ∧ (𝑞 ∨∼ 𝑥)] ∨ (𝑝 ∧∼ 𝑥) ≡ 𝑞
12. Construir el circuito lógico que representa a:
{[𝑝 ∧ (𝑞 ∨ 𝑟)] ∨ (𝑝 ∧∼ 𝑟)} ∧ (∼ 𝑝 ∨∼ 𝑞)
13. Construir el circuito lógico que representa a:
{[∼ 𝑟 ∧ (𝑝 ∨ 𝑞)] ∨ [(∼ 𝑝 ∨ 𝑟) ∧ (∼ 𝑞 ∨∼ 𝑟)]} ∧ [∼ 𝑝 ∨ (𝑞 ∧ 𝑟)]
14. Por medio de una tabla de valores de verdad, justificar la validez del siguiente
razonamiento:
ÁLGEBRA (MAT-100)
UNIVERSIDAD MAYOR DE SAN ANDRÉS Docente: Ing. Nelson Bellot Kalteis
FACULTAD DE INGENIERÍA Aux.: Univ. Carlos Gonzalo Roman Prado
CURSO BÁSICO GRUPO:”F”

∼𝑝→𝑞
∼ 𝑟 →∼ 𝑞
∼ (𝑝 ∧∼ 𝑡)
∼𝑟
____________
𝑡
15. Demostrar la conclusión dada haciendo uso de las reglas de inferencia:
𝐷𝑒𝑚𝑜𝑠𝑡𝑟𝑎𝑟 𝑥 ≠ 3 ∨ 𝑦 ≠ 1
1. 𝑥 = 3 → 𝑦 ≮ 3
2. 𝑥 = 𝑦 ∧ 𝑥 ≮ 𝑦
3. 𝑥 ≮ 5 ∨ 𝑦 < 3
4. 𝑥 = 𝑦 → (𝑥 = 𝑦 + 2 ∨ 𝑥 < 5)
5. 𝑥 = 𝑦 + 2 → 𝑥 < 𝑦
MATEMÁTICAS DISCRETA Y COMBINATORIA. Ralph P. Grimaldi.
16. Ejercicios 2.1. 3.
17. Ejercicios 2.1. 5.
18. Ejercicios 2.1. 8.
19. Ejercicios 2.2. 22.
20. Ejercicios 2.3. 10h.

También podría gustarte