PENSAMIENTO LOGICO Y MATEMATICO

TAREA 4 – SUSTENTACIÓN UNIDADES 1, 2 O 3

KELLY ALEXANDRA VIVEROS RENGIFO

CODIGO: 1148951001

TUTOR

HUGO LOPEZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA (ECBTI)

ZCSUR CEAD SANTANDER DE QUILICHAO

2019
D. Una encuesta realizada a un grupo de estudiantes de la Universidad Nacional
Abierta y a Distancia –UNAD- donde todos respondieron, reveló que 450
matricularon el curso de PLM; 260 matricularon el curso de Algebra Lineal; 360
matricularon el curso de Calculo Diferencial; 200 matricularon PLM y Algebra
Lineal; 250 matricularon PLM y Calculo Diferencial; 150 matricularon Algebra
Lineal y Calculo Diferencia y 100 matricularon PLM, Algebra Lineal y Calculo
Diferencial.

DESARROLLO

Calcular:

• ¿Cuántos fueron los estudiantes encuestados?

U=450+200+100+250+150+260+360

U=1770

• ¿Cuántas estudiantes tienen solamente matriculado el curso de PLM?

PLM: 450 estudiantes

• ¿Cuántas estudiantes tienen solamente matriculado el curso de Algebra

Lineal?

A: 260 estudiantes

• ¿Cuántas estudiantes tienen matriculados PLM y Algebra Lineal, pero no

tienen matriculado Cálculo Diferencial?

200 estudiantes
• ¿Cuántas estudiantes tienen matriculado el curso de PLM y Cálculo
Diferencial pero no Algebra Lineal?

1060 estudiantes

Ejercicio 2: Métodos para probar la validez de un argumento

a. Expresión simbólica:
{[𝑝 → (𝑞 ∨ 𝑟)] ∧ (𝑠 →∼ 𝑞) ∧ (𝑡 →∼ 𝑟) ∧ (𝑝 ∧ 𝑡)} → 𝑞

Premisas:

P1: 𝑝→ (𝑞∨𝑟)

P2: 𝑠→∼𝑞

P3: 𝑡→∼𝑟

P4: 𝑝∧𝑡

Conclusión: 𝑞
 DESARROLLO

Proposiciones simples

 p=Yeily estudian en la UNAD

 q=La UNAD es una universidad publica
 r= La UNAD da la carrera que Yeily quiere estudiar
 s=Yeily tiene que pagar
 t=Yeily no estudia lo que quiere

 Expresión simbólica:
{[𝑝 → (𝑞 ∨ 𝑟)] ∧ (𝑠 →∼ 𝑞) ∧ (𝑡 →∼ 𝑟) ∧ (𝑝 ∧ 𝑡)} → 𝑞

Razonamiento en lenguaje natural

Si Yeily estudian en la UNAD entonces la UNAD es una universidad

pública o la UNAD da la carrera que Yeily quiere estudiar. y Yeily tiene que
pagar entonces la UNAD no es una universidad púbica. Y Yeily no estudia
lo que quiere entonces la UNAD no da la carrera que Yeily quiere
estudiar. Y Yeily estudia en la UNAD Y Yeily no estudia lo que quiere.
Entonces la UNAD es una universidad pública

Tabla de verdad manualmente

.
 {[p→(q∨r)]∧(s→∼q)∧(t→∼r)∧(p∧t)}→q {[p→(q∨r)]∧(
[p→(q∨r)]∧ s→∼q)∧(t→
p q r s t ∼q ∼r (q∨r) [p→(q∨r)](s→∼q) (s→∼q) (t→∼r) (p∧t) (t→∼r)∧(p∧t) ∼r)∧(p∧t)} →q
v v v v v f f v v f f f v f f v
v v v v f f f v v f f v f f f v
v v v f v f f v v v v f v f f v
v v v f f f f v v v v v f f f v
v v f v v f v v v f f v v v v v
v v f v f f v v v f f v f f f v
v v f f v f v v v v v v v v v v
v v f f f f v v v v v v f f f v
v f v v v v f v v v v f v f f v
v f v v f v f v v v v v f f f v
v f v f v v f v v v v f v f f v
v f v f f v f v v v v v f f f v
v f f v v v v f f v f v v v v v
v f f v f v v f f v f v f f f v
v f f f v v v f f v f v v v v v
v f f f f v v f f v f v f f f v
f v v v v f f v v f f f f f f v
f v v v f f f v v f f v f f f v
f v v f v f f v v v v f f f f v
f v v f f f f v v v v v f f f v
f v f v v f v v v f f v f f f v
f v f v f f v v v f f v f f f v
f v f f v f v v v v v v f f f v
f v f f f f v v v v v v f f f v
f f v v v v f v v v v f f f f v
f f v v f v f v v v v v f f f v
f f v f v v f v v v v f f f f v
f f v f f v f v v v v v f f f v
f f f v v v v f v v v v f f f v
f f f v f v v f v v v v f f f v
f f f f v v v f v v v v f f f v
f f f f f v v f v v v v f f f v

 Resultado de la tabla de verdad: TAUTOLOGÍA

 Leyes de inferencia:

{[𝑝 → (𝑞 ∨ 𝑟)] ∧ (𝑠 →∼ 𝑞) ∧ (𝑡 →∼ 𝑟) ∧ (𝑝 ∧ 𝑡)} → 𝑞

Premisas:

P1: 𝑝→ (𝑞∨𝑟)

P2: 𝑠→∼𝑞

P3: 𝑡→∼𝑟

P4: 𝑝∧𝑡

Conclusión: 𝑞

DEMOSTRACION

P5: t simp p4

P6: p simp p4

P7: ∼𝑟 Mpp (3,5)

P8: (𝑞∨𝑟) Mpp (1,6)

P9: q SD (7,8)