}

Pensamiento Lógico y Matemático

Unidad 3 - Proposiciones categóricas y razonamientos lógicos

Elaborado por

LUISA ALEXANDRA ACHIPIZ OROZCO

Grupo: 200611

Tutor

Aura Elisa Quesada

Universidad Nacional Abierta y a Distancia UNAD

UDR-Valle del Guamuez

Tercer semestre

Noviembre del 2019

}

Ejercicio 3: Problemas de Aplicación

Descripción del ejercicio

A continuación, encontrará la expresión simbólica, las premisas y la

conclusión de un argumento para el desarrollo del ejercicio 3:

C). Expresión simbólica: [(𝑝 ∨ (𝑞 ∧ 𝑟)) ∧ ¬(𝑞 ∧ 𝑟) ∧ (𝑝 → 𝑠)] → 𝑠

Premisas
P1: 𝑝 ∨ (𝑞 ∧ 𝑟)
P2: ¬(𝑞 ∧ 𝑟)
P3: 𝑝 → 𝑠

Conclusión: 𝑠

Proposiciones Simples

- P: Luisa estudia psicología en la Unad.

- Q: hace trabajos académicos
- R: Gana el tercer semestre
- S: Luisa pasa al cuarto semestre.
}

Premisas:

P1: Luisa estudia en la Unad o hace trabajos académicos y gana el

tercer semestre

P2: No hace trabajos académicos y no gana el tercer semestre

P3: Si luisa estudia psicología en la Unad entonces Luisa pasa al cuarto

semestre.

Conclusión: Luisa pasa al cuarto semestre

Expresión en lenguaje natural:

Luisa pasa al cuarto semestre si luisa estudia psicología en la unad o

hace trabajos académicos y gana el tercer semestre y si no hace
trabajos académicos y no gana el tercer semestre y Luisa estudia
psicología en la Unad entonces Luisa pasa al cuarto semestre.
}

- Generar tablas de verdad manual.

p q r s 𝒑 ∨ (𝒒 ∧ 𝒓) ¬(𝒒 ∧ 𝒓) 𝒑→𝒔 [(𝑝 ∨ (𝑞 ∧ 𝑟)) ∧ ¬(𝑞 ∧ 𝑟) ∧ (𝑝 → 𝑠)] → 𝑠

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

El resultado de la tabla de verdad es una tautología porque todos los

sus valores son verdaderos.
}

- Tabla de verdad generada en el simulador.

}

 Demostración de la validez del argumento mediante las

leyes de la inferencia lógica

Ley de inferencia lógica.

P4: ¬(𝑝 → 𝑠)

P: Luisa estudia psicología en la Unad.

S: Luisa pasa al cuarto semestre.

Si Luisa no estudia psicología en la Unad entonces Luisa no pasa al

cuarto semestre.

.
}

Bibliografía

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

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