Documentos de Académico
Documentos de Profesional
Documentos de Cultura
PRACTICA 1
DOCENTE: MERCADO ESPINOZA LEONARDO
AUXILIAR: GUTIERREZ YUCRA CHRISTIAN
MATERIA: ALGEBRA 1 SIGLA Y PARALELO: MAT-1100 “M”
Lógica proposicional
1. Dado el siguiente razonamiento:
Ella se casa por amor o por dinero. Pero ella no se casa por dinero. Por tanto, ella se casa por amor
a) Simbolizar el razonamiento
b) Demostrar la validez del razonamiento
2. Hallar una ley de inferencia para
pvq
∼p
a)
b)
UNIVERSIDAD TECNICA DE ORURO
FACULTAD NACIONAL DE INGENIERIA
DEPARTAMENTO DE MATEMATICAS
5. Determinar una proposición x, tal que las siguientes proposiciones sean verdaderas.
𝑎) {[~𝑥 → (𝑞 ∧ 𝑥 )] ∧ (𝑝 → 𝑞)} ∨ 𝑝
𝑏) {[(𝑥 → 𝑝) ∧ (𝑞 ∧ ~𝑥 )] ∨ (𝑝 ∧ ~𝑥 )} ∨ ~𝑞
6. Por medio de una tabla de vedad determinar si la proposición, es una tautología, contradictoria o
contingencia.
𝑎) {[~𝑝 → (𝑞 ∧ 𝑝)] ∧ (𝑝 → 𝑞)} ∨ 𝑝
b) {[(𝑝 → 𝑝) ∧ (𝑞 ∧ ~𝑟)] ∨ (𝑝 ∧ ~𝑟)} ⟷ ~𝑞
Teoría de Conjuntos
1. Si A y B son conjuntos cualesquiera simplificar
[(𝐴 ∪ 𝐵𝑐 )∆(𝐵 − 𝐴)]𝑐 ∪ [(𝐴 ∩ 𝐵)𝑐 − (𝐵 − 𝐴)]
2. Si 𝐴 ⊂ 𝐵 𝑦 𝐴 ∩ 𝐶 = 𝜙, simplificar
[(𝐴 ∪ 𝐶 𝑐 ) − 𝐵] ∪ [𝐵 ∪ (𝐴 − 𝐶 )]
3. Sean los conjuntos
𝑈 = {0,1,2,3,4,5,6,7,8,9}
𝐴 = {𝑥 ∈ 𝑈 ∕ 2𝑋 ∈ 𝑈}
𝐵 = {𝑥 ∈ 𝑈⁄1 < 𝑋 < 7}
𝐶 = {𝑥 ∈ 𝑈 ∕ √𝑥 ∈ 𝑈}