PENSIENTO LOGICO Y MATEMATICO

EJERCICIO 3

PRESENTADO POR:

PRESENTADO A:
MIREYA GOMEZ
TUTOR

GRUPO 200611-810

ESCUELA DE CIENCIAS EN SALUD ECISA

ADMINSTRACION EN SALUD
NOVIEMBRE 2018
PITALITO

Ejercicio 3
 b. Expresión simbólica:
[(¬𝒑 → 𝒒) ∧ (𝒒 → ¬𝒓) ∧ (¬𝒓 → 𝒔) ∧ (¬𝒑) ∧ (¬𝒔 ∨ 𝒓)] → 𝒓

Premisas:
P1: ¬𝒑 → 𝒒
P2: 𝒒 → ¬𝒓
P3: ¬𝒓 → 𝒔
P4: ¬𝒑
P5: ¬𝒔 ∨ 𝒓

Conclusión: 𝒓

Desarrollo:

Premisas simples

p: Duque es el presidente.

q: Las universidades hacen paro.

r: La Usco es una universidad pública

s: La ministra de educación es María Fernanda Angulo.

Razonamiento en lenguaje natural:

Si Duque no es el presidente entonces las universidades harán paro. Si las universidades

hacen paro la Usco no es una universidad pública. La Usco no es una Universidad Pública,
entonces la ministra de educación es María Fernanda Angulo. Duque no es presiente. La
ministra no es María Fernanda Angulo o la Usco es una Universidad Pública por lo tanto la
Usco es una universidad pública.
 Tabla de verdad

p q r s ¬p ¬r ¬s ¬p→q q→¬r (¬p→q)ᴧ(q→¬r) ¬r→s (¬p→q)ᴧ(q→¬r)ᴧ(¬r→s) (¬p→q)ᴧ(q→¬r)ᴧ(¬r→s) ᴧ(¬p) (¬s v r) [(¬p→q)ᴧ(q→¬r)ᴧ(¬r→s) ᴧ(¬p)ᴧ(¬s v r)] [(¬p→q)ᴧ(q→¬r)ᴧ(¬r→s) ᴧ(¬p)ᴧ(¬s v r)] →r
v v v v f f f v f f v f f v f v
v v v f f f v v f f v f f v f v
v v f v f v f v v v v v f v f v
v v f f f v v v v v f f f v f v
v f v v f f f v v v v v f v f v
v f v f f f v v v v v v f v f v
v f f v f v f v v v v v f v f v
v f f f f v v v v v f f f v f v
f v v v v f f v f f v f f v f v
f v v f v f v v f f v f f v f v
f v f v v v f v v v v v v f f v
f v f f v v v v v v f f f v f v
f f v v v f f f v f v f f v f v
f f v f v f v f v f v f f v f v
f f f v v v f f v f v f f f f v
f f f f v v v f v f f f f v f v

El ejercicio es de forma tautológica.

Simulador truth table: