You are on page 1of 6

TAREA 3 – SUSTENTACIÓN UNIDADES 1 O 2

HAMMER WIGBERTO ARISTIZABAL TORRES


C.C. 1151946989

GRUPO: 90004A_612

TUTOR
JUAN DAVID CAÑÓN BERMUDEZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA


ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍAS -ECBTI
INGENIERÍA DE SISTEMAS CALI
2019
Ejercicio 1
“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 Lógica Matemática; 260 matricularon el curso de Algebra Lineal; 360
matricularon el curso de Calculo Diferencial; 200 matricularon Lógica Matemática y
Algebra Lineal; 250 matricularon Lógica Matemática y Calculo Diferencial; 150
matricularon Algebra Lineal y Calculo Diferencia y 100 matricularon Lógica
Matemática, Algebra Lineal y Calculo Diferencial”.

Definición de Variables:
A = Estudiantes que matricularon el curso de Lógica Matemática.
B = Estudiantes que matricularon el curso de Algebra Lineal.
C = Estudiantes que matricularon el curso de Calculo Diferencial.
U = Estudiantes de la UNAD

A B
100
10
100

100

150 50

60

Una vez realizado el diagrama, se da respuesta a cada una de las preguntas que plantea el
ejercicio, dado que en él, se encuentran todos los datos expresados en notación de conjuntos.
Calcular:
 ¿Cuántos fueron los profesores encuestados?
Ningún profesor ha sido encuestado, solo estudiantes, los cuales han sido un
total de 570 estudiantes.
 ¿Cuántos estudiantes tienen solamente matriculado el curso de Lógica Matemática?
Solo 100 estudiantes tienen matriculado unicamente el curso de Lógica
Matemática.
 ¿Cuántos estudiantes tienen solamente matriculado el curso de Algebra Lineal?
Solo 10 estudiantes tienen matriculado únicamente el curso de Algebra Lineal.
 ¿Cuántos estudiantes tienen matriculados Lógica Matemática y Algebra Lineal, pero
no tienen matriculado Cálculo Diferencial?
Solo 100 Estudiantes tienen matriculado el curso de Lógica Matemática y
Algebra lineal simultáneamente sin tener matriculado Calculo Diferencial.
 ¿Cuántos estudiantes tienen matriculado el curso de Lógica Matemática y Cálculo
Diferencial pero no Algebra Lineal?
Solo 150 estudiantes tienen matriculado el curso de Lógica Matemática y
Calculo Diferencial simultáneamente sin tener matriculada Algebra Lineal.

Ejercicio 2
Expresión simbólica:
{[𝑝 → (𝑞 ∨ 𝑟)] ∧ (𝑠 →∼ 𝑞) ∧ (𝑡 →∼ 𝑟) ∧ (𝑝 ∧ 𝑡)} → 𝑞
Premisas:
P1:𝑝 → (𝑞 ∨ 𝑟)
P2: 𝑠 →∼ 𝑞
P3: 𝑡 →∼ 𝑟
P4: 𝑝 ∧ 𝑡
Conclusión: 𝑞
p: “Conozco el Algebra Lineal”.
q: “Voy a la universidad”.
r: “Realizo estudios autónomos en casa”.
s: “Trabajo constantemente”.
t: “Tengo un horario adecuado”.
Si Conozco el álgebra lineal entonces Voy a la universidad o Realizo estudios autónomos
en casa. Si Trabajo constantemente, No voy a la universidad, sin embargo, Tengo un
horario adecuado solo si No realizo estudios autónomos en casa a pesar de que Conozco
el álgebra lineal dado que Tengo un horario adecuado; Por lo tanto, Voy a la universidad.
Tabla de verdad generada a partir del simulador de lógica UNAD.

p q r s t ((p→(q∨r))∧(s→~q)∧(t→~r)∧(p∧t))→q [Arg]
V V V V V V
V V V V F V
V V V F V V
V V V F F V
V V F V V V
V V F V F V
V V F F V V
V V F F F V
V F V V V V
V F V V F V
V F V F V V
V F V F F V
V F F V V V
V F F V F V
V F F F V V
V F F F F V
F V V V V V
F V V V F V
F V V F V V
F V V F F V
F V F V V V
F V F V F V
F V F F V V
F V F F F V
F F V V V V
F F V V F V
F F V F V V
F F V F F V
F F F V V V
F F F V F V
F F F F V V
F F F F F V
Tautología
Tabla de verdad realizada manualmente con base en los parámetros lógicos del argumento.

p q r s t ~q ~r q∨r p∧t s→~q t→~r p→(q∨r) (p→(q∨r))∧(s→~q)∧(t→~r)∧(p∧t) Arg.


VVVVV F F V V F F V F V
VVVV F F F V F F V V F V
VVV F V F F V V V F V F V
VVV F F F F V F V V V F V
VV F VV F V V V F V V F V
VV F V F F V V F F V V F V
VV F F V F V V V V V V V V
VV F F F F V V F V V V F V
V F VVV V F V V V F V F V
V F VV F V F V F V V V F V
VFVFV V F V V V F V F V
VFVF F V F V F V V V F V
V F F VV V V F V V V F F V
VF FVF V V F F V V F F V
VF F FV V V F V V V F F V
VF F F F V V F F V V F F V
F VVVV F F V F F F V F V
F VVV F F F V F F V V F V
F VV F V F F V F V F V F V
F VV F F F F V F V V V F V
F V F VV F V V F F V V F V
FVFVF F V V F F V V F V
FVF FV F V V F V V V F V
FVF F F F V V F V V V F V
F F VVV V F V F V F V F V
F F VV F V F V F V V V F V
F FVFV V F F F V F V F V
F FVF F V F F F V V V F V
F F F VV V V V F V V V F V
F F FVF V V V F V V V F V
F F F FV V V F F V V V F V
FFFFF V V F F V V V F V
Tautología
Demostración de Validez
Utilizando las reglas de inferencia lógica se determina que el argumento es válido.
P1: p→ (q∨r)
P2: s→~q
P3: t→~r
P4: p∧t
P5: p S (Simplificación) en 4
P6: q∨r PP (Ponendo Ponens) en 1 y 5
P7: t S (Simplificación) en 4
P8: ~r PP (Ponendo Ponens) en 3 y 7
P9: q TP (Tollendo Ponens) en 6 y 8 (Conclusión)
Conclusión: q Voy a la universidad.

You might also like