PENSIENTO LOGICO Y MATEMATICO

SUSTENTACION EJERCICIO 1 Y2

ESCUELA DE CIENCIAS EN SALUD ECISA

ADMINSTRACION EN SALUD
NOVIEMBRE 2018
PITALITO
 DESARROLLO DE LAS ACTIVIDADES
Ejercicio 1

Aplicación de la Teoría de Conjuntos

B. En un diplomado de idiomas compuesto por 22 alumnos; 12 estudian Mandarín; 11

estudian inglés y 11 portugués, 6 estudian mandarín e inglés; 7 estudian Inglés y
Portugués; 5 estudian mandarín y portugués y 2 estudian los tres idiomas.
 ¿Cuántos alumnos estudian sólo inglés? 0
 ¿Cuántos estudian mandarín e inglés, pero no portugués? 4
 ¿Cuántos estudian mandarín o portugués, pero no inglés? 7

 Representar la información dada en un diagrama de Venn Euler

a:0
b:4
c:7
EJERCICIO 2

Métodos para probar la validez de un argumento

B. Expresión simbólica: [(𝑝 → 𝑞) ∧ (𝑞 → 𝑟)⋀(¬𝑟)] → (¬𝑝)

Premisas:
P1: 𝑝 → 𝑞
P2: 𝑞 → 𝑟
P3: ¬𝑟
Conclusión: ¬𝒑

Premisas simples

p: María estudia en el colegio

q: El colegio es Público

r: María pierde el año

Razonamiento en lenguaje natural

Si María estudia en el colegio, entonces el colegio es público y si maría estudia en el colegio

público, María pierde el año y si no pierde el año entonces el colegio no es público.
  Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje
simbólico

Tabla de verdad

[(𝑝 → 𝑞) ∧ (𝑞 → 𝑟)⋀(¬𝑟)] → (¬𝑝)

p q r ¬r ¬p p→q q→r (p→q) ᴧ (q→r) (p→q) ᴧ (q→r)ᴧ(¬r) [(p→q) ᴧ (q→r)ᴧ(¬r) ] → (¬p)

v v f f f v v v f v
v v v v f v f f f v
v f f f f f v f f v
v f v v f f v f f v
f v f f v v v v f v
f v v v v v f f f v
f f f f v v v v f v
f f v v v v v v v v

Demostración de la validez del argumento mediante las leyes de la inferencia lógica

 B. Expresión simbólica: [(𝑝 → 𝑞) ∧ (𝑞 → 𝑟)⋀(¬𝑟)] → (¬𝑝)
Premisas:
P1: 𝑝 → 𝑞
P2: 𝑞 → 𝑟
P3: ¬𝑟
Demostracion

P4: 𝑝 → 𝑟 SH( silogismo hipotético) P1, P2

P5: ¬𝑝 MTT(modus tollendo tollens) P4, P3

BIBLIOGRAFIAS

 Sánchez, H. R. (2014). Álgebra. (pp. 14 - 29). México, D.F., México: Larousse -

Grupo Editorial Patria.

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

computación. (pp. 78 - 99). Ediciones Elizcom, Madrid.