Académique Documents
Professionnel Documents
Culture Documents
90004B_611)
GENERAL
Aprender y aplicar los temas de Conectivos lógicos y teoría de conjuntos, a través del
desarrollo de algunos ejercicios de lógica proposicional, tablas de verdad en proposiciones
compuestas, álgebra de proposiciones, teoría de conjuntos, operaciones entre conjuntos,
razonamientos lógicos, inferencia lógica y argumentos lógicos.
ESPECÍFICOS
1. Interpretar problemas contextualizados, aplicando los conceptos propios del cálculo
proposicional y la teoría de conjuntos.
2. Identificar las reglas de inferencia y razonamientos deductivos e inductivos, para probar
la validez de argumentos en situaciones problemáticas.
Descripción del ejercicio:
Realizamos.
Diagrama
Diagrama
Respuesta: ninguno
Respuesta:
Calcular:
¿Cuántos fueron los profesores encuestados?
Respueta:
¿Cuántas estudiantes tienen solamente matriculado el curso de
Lógica Matemática?
Respuesta:450 estan matriculados
¿Cuántas estudiantes tienen solamente matriculado el curso de
Algebra Lineal?
Respuesta:260 estan matriculados
¿Cuántas estudiantes tienen matriculados Lógica Matemática y
Algebra Lineal, pero no tienen matriculado Cálculo Diferencial?
Respuesta: 200 estudiantes
¿Cuántas estudiantes tienen matriculado el curso de Lógica
Matemática y Cálculo Diferencial pero no Algebra Lineal?
Respuesta:250 estudiantes
Determinar:
Respuesta: 13 tutores
Respuesta: 5 tutores
Respuesta: 13 tutores
Respuesta: 6 tutores
Preposiciones simples:
P: dinámica es un tema de física
pq r s (((p→q)∨r)∧(r→~p)∧(p∧s))→(q∧s)
vv vv V
vv vf V
vv f v V
vv f f V
vf vv V
vf vf V
vf f v V
vf f f V
f v vv V
f v vf V
f v f v V
f v f f V
f f vv V
f f vf V
f f f v V
f f f f V
A. TABLA MANUAL
V V V V V V F F V F V V
V V V F V V F F F F F V
V V F V V V F V V V V V
V V F F V V F V F F F V
V F V V F V F F V F F V
V F V F F V F F F F F V
V F F V F F F V V F F V
V F F F F F F V F F F V
F V V V V V V V F F V V
F V V F V V V V F F F V
F V F V V V V V F F V V
F V F F V V V V F F F V
F F V V V V V V F F F V
F F V F V V V V F F F V
F F F V V V V V F F F V
F F F F V V V V F F F V
Conclusión: 𝑞 ∧ 𝑠
7.𝑝 → 𝑞
8 .q
9.𝑞 ∧ 𝑠
b. Expresión simbólica: [(𝑝 → 𝑞) ∧ (𝑞 → 𝑟) ∧ (𝑝 ∧ 𝑠)] → (𝑟)
Premisas:
P1: 𝑝 → 𝑞
P2: 𝑞 → 𝑟
P3: 𝑝 ∧ 𝑠
TABLA SIMULADOR
p q r s ((p→q)∧(q→r)∧(p∧s))→r
v v vvV
v v vf V
v v f vV
vvf f V
v f vvV
v f vf V
v f f vV
vf f f V
f v vvV
f v vf V
f v f vV
f vf f V
f f vvV
p q r s ((p→q)∧(q→r)∧(p∧s))→r
f f vf V
f f f vV
f f ffV
TABLA MANUAL
Conclusión: 𝒓
3 𝑝∧ 𝐬
4p
5s
Luego aplicamos modus ponens a la premisa 1 conciendo la premisa
4
1𝑝→𝑞
6q
2. 𝑞 → 𝑟
7. r
c. Expresión simbólica:
{[𝑝 → (𝑞 → 𝑟)] ∧ (𝑟 ∧ 𝑝) ∧ (𝑠 ∨ 𝑞) ∧ (¬𝑞)} → [𝑠 ∧ (𝑞 → 𝑟)].
Premisas:
P1:𝑝 → (𝑞 → 𝑟)
P2: 𝑟 ∧ 𝑝
P3: 𝑠 ∨ 𝑞
P3: ¬𝑞
TABLA SIMULADOR
p q r s ((p→(q→r))∧(r∧p)∧(s∨q)∧(~q))→(s∧(q→r))
v v vvV
v v vf V
v v f vV
vvf f V
v f vvV
v f vf V
v f f vV
vf f f V
f v vvV
f v vf V
f v f vV
f vf f V
f f vvV
f f vf V
f f f vV
f f ffV
C. TABLA MANUAL
(q r s∧
→r p→( ∧ s v ~ [p→(q→r)]∧(r ∧ (q→r [p→(q→r)]∧(r ∧ p)∧(s v
p q r s ) q→r) p q q p)∧(s v q)∧(~q) ) q)∧(~q)→s ∧ (q→r)
V V V V V V V V F F V V
V V V F V V V V F F F V
V V F V V V F V F F V V
V V F F V V F V F F F V
V F V V F F V V V F F V
V F V F F F V F V F F V
V F F V V V F V V F V V
V F F F V V F F V F F V
F V V V V V F V F F V V
F V V F V V F V F F F V
F V F V F V F V F F F V
F V F F F V F V F F F V
F F V V V V F V V F V V
F F V F V V F F V F F V
F F F V V V F V V F V V
F F F F V V F F V F F V
Conclusión: 𝑠 ∧ (𝑞 → 𝑟)
7. 𝑞 → 𝑟
En tercer lugar utilizamos silogismo disyuntivo con base en
premisa 3 y 4 y se concluye .
8. s
Finalmente aplicamos conjunción a premisas 7 y 8 y llegamos a
la conclusión basada
9.𝑠 ∧ (𝑞 → 𝑟)
d. Expresión simbólica:
{[𝑝 → (𝑞 ∨ 𝑟)] ∧ (𝑠 →∼ 𝑞) ∧ (𝑡 →∼ 𝑟) ∧ (𝑝 ∧ 𝑡)} → 𝑞
Premisas:
P1:𝑝 → (𝑞 ∨ 𝑟)
P2: 𝑠 →∼ 𝑞
P3: 𝑡 →∼ 𝑟
P4: 𝑝 ∧ 𝑡
TABLA SIMULADOR
p q r s t ((p→(q∨r))∧(s→~q)∧(t→~r)∧(p∧t))→q
v v vvvV
v v vvf V
v v vf vV
v v vf f V
v v f vvV
v v f vf V
v v f f vV
vvf f f V
v f vvvV
v f vvf V
v f vf vV
v f vf f V
v f f vvV
v f f vf V
p q r s t ((p→(q∨r))∧(s→~q)∧(t→~r)∧(p∧t))→q
v f f f vV
vf f f f V
f v vvvV
f v vvf V
f v vf vV
f v vf f V
f v f vvV
f v f vf V
f v f f vV
f vf f f V
f f vvvV
f f vvf V
f f vf vV
f f vf f V
f f f vvV
f f f vf V
f f f f vV
f f fffV
TABLA MANUAL
p→ [p→(q v [p→(q v
q s→ t→ p
pqr s t (q r)]∧[s→~q]∧[t→~r]∧[ r)]∧[s→~q]∧[t→~r]∧[p
vr ~q ~r ∧ t
v r) p ∧ t] ∧ t]→q
V V V V V V V F F V F V
V V V V F V V F V F F V
V V V F V V V V F V F V
V V V F F V V V V F F V
V V F V V V V F V V F V
V V F V F V V F V F F V
V V F F V V F V V V F V
V V F F F V F V V F F V
V F V V V V V V V V V V
V F V V F V V V F F F V
V F V F V V V V V V V V
V F V F F V V V V F F V
V F F V V F F V V V F V
V F F V F F F V F F F V
V F F F V F F V V V F V
V F F F F F F V V F F V
F V V V V V V F V F F V
F V V V F V V F F F F V
F V V F V V V V V F F V
F V V F F V V V V F F V
F V F V V V V F V F F V
F V F V F V V F F F F V
F V F F V V V V V F F V
F V F F F V V V V F F V
F F V V V V V V V F F V
F F V V F V V V F F F V
F F V F V V V V V F F V
F F V F F V V V V F F V
F F F V V F V V V F F V
F F F V F F V V F F F V
F F F F V F V V V F F V
F F F F F F V V V F F V
Conclusión: 𝑞
Primero aplicamos la simplificación de la premisa 4 por lo cual
5p
67
7: 𝑝𝜈𝑟
8. 𝑝¬𝑟
9. q
e. Expresión simbólica:
[(~𝒑 → 𝒒) ∧ (𝒒 → 𝒓) ∧ (~𝒓)] → 𝒑
Premisas:
P1: ~𝑝 → 𝑞
P2: 𝑞 → 𝑟
P3: ~𝒓
TABLA SIMULADOR
p q r ((~p→q)∧(q→r)∧(~r))→p
v v vV
vvf V
v f vV
vf f V
f v vV
f vf V
f f vV
f f fV
TABLA MANUAL
Conclusión: 𝑝
Primero podemos realizar un silogismo hipotético usando premisas 1 y
2 luego
4.¬𝑝 → 𝑟
5.¬¬𝑝 = 𝑃
CONCLUSIONES
1. Con el desarrollo de este trabajo logre cumplir con los objetivos antes mencionados,
2. Me permitió practicar para poder analizar e interpretar a futuro temas desde la lógica
matemática.
3. Esta actividad me contribuyó a fortalecer y aprender conceptos básicos y prácticos
de la unidad de estudio, asimismo, el simulador que aporta la universidad me aportó
facilidades para la verificación de los ejercicios de la tabla de la verdad.