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.

U: Estudiantes Encuestados

L: Lógica Matemática

A: Algebra Lineal

C: Calculo Diferencial
 570 fueron los estudiantes encuestados

𝐿∩𝐴∩𝐶
 100 estudiantes tienen solamente matriculado el curso de Lógica
Matemática

𝐿 − (𝐴 ∩ 𝐵)
 10 Estudiantes tienen solamente matriculado el curso de Algebra Linea

𝐴 − (𝐶 ∩ 𝐵)

 100 estudiantes tienen matriculados Lógica Matemática y Algebra

Lineal, pero no tienen matriculado Cálculo Diferencial

(𝐿 ∩ 𝐴) − 𝐶
 150 estudiantes tienen matriculado el curso de Lógica Matemática y
Cálculo Diferencial pero no Algebra Lineal

(𝐿 ∩ 𝐶) − 𝐴
Expresión simbólica:

p: conducir a alta velocidad

q: morir
r: llegar rápido
s: conducir con precaución
t: caerse
Si, conduces a alta velocidad entonces mueres o llegas rápido y si,
conduces con precaución entonces no mueres, y si, te caes entonces
no llegas rápido y si, conduces a alta velocidad y te caes entonces
mueres
{[𝑝 → (𝑞 ∨ 𝑟)] ∧ (𝑠 →∼ 𝑞) ∧ (𝑡 →∼ 𝑟) ∧ (𝑝 ∧ 𝑡)} → 𝑞
Premisas:
P1:𝑝 → (𝑞 ∨ 𝑟)
P2: 𝑠 →∼ 𝑞
P3: 𝑡 →∼ 𝑟
P4: 𝑝 ∧ 𝑡

Conclusión: 𝑞
JTabla - Resultados

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
v v f 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
v f f f vV
v f 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 v f 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 f f f V
Tabla de verdad manual

p q r s t ~q ~r (q∨r) s→∼q p∧t 𝑝→(𝑞∨𝑟) 𝑝→(𝑞∨𝑟)]∧(𝑠→∼𝑞) (𝑡→∼𝑟)∧(𝑝∧𝑡) {[p→(q∨r)]∧(s→∼q)∧(t→∼r)∧(p∧t)}→q

t→∼r
V V V V V F F V F F V V F F V
V V V V F F F V F V F V F F V
V V V F V F F V V F V V V F V
V V V F F F F V V V F V V F V
V V F V V F V V F V V V F V V
V V F V F F V V F V F V F F V
V V F F V F V V V V V V V V V
V V F F F F V V V V F V V F V
V F V V V V F V V F V V V F V
V F V V F V F V V V F V V F V
V F V F V V F V V F V V V F V
V F V F F V F V V V F V V F V
V F F V V V V F V V V F F V V
V F F V F V V F V V F F F F V
V F F F V V V F V V V F F V V
V F F F F V V F V V F F F F V
F V V V V F F V F F F V F F V
F V V V F F F V F V F V F F V
F V V F V F F V V F F V V F V
F V V F F F F V V V F V V F V
F V F V V F V V F V F V F F V
F V F V F F V V F V F V F F V
F V F F V F V V V V F V V F V
F V F F F F V V V V F V V F V
F F V V V V F V V F F V V F V
F F V V F V F V V V F V V F V
F F V F V V F V V F F V V F V
F F V F F V F V V V F V V F V
F F F V V V V F V V F V V F V
F F F V F V V F V V F V V F V
F F F F V V V F V V F V V F V
F F F F F V V F V V F V V F V