SOLUCIÓN:

EJERCICIO 3: PROBLEMAS DE APLICACIÓN

Para el desarrollo de este ejercicio, es necesario que el estudiante revise en el Entorno de

Conocimiento (Unidad 3), la siguiente referencia:

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

78 - 99). Ediciones Elizcom, Madrid.

Una vez realizada la lectura, desarrolle el ejercicio propuesto.

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:

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

Premisas:

P1: 𝑟 → ¬𝑞

P2:¬𝑞 → 𝑠

P3: 𝑝 ∧ ¬𝑠

Conclusión ¬𝑟

A partir de la expresión simbólica seleccionada, el estudiante deberá:

 Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción basada
en un contexto, el que se solicita es un contexto académico:

p: la mujer participa en las clases.

q: la mujer toma varias asignaturas.

r: la mujer necesita excelentes notas.

s: la mujer pasa al siguiente semestre.

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las

proposiciones simples deben ser de autoría de cada estudiante, por lo que de encontrar
proposiciones iguales entre estudiantes se considerara como copia y se tomaran las medidas
correctivas estipuladas por la UNAD.

Si la mujer pasa al siguiente semestre entonces no toma varias asignaturas. Si la mujer no toma
varias asignaturas entonces pasa al siguiente semestre. Si la mujer participa en las clases no pasa al
siguiente semestre. Por lo tanto, la mujer no necesita excelentes notas.

P1: Si la mujer pasa al siguiente semestre entonces no toma varias asignaturas.

P2: Si la mujer no toma varias asignaturas entonces pasa al siguiente semestre.

P3: La mujer participa en las clases y no pasa al siguiente semestre.

La mujer no necesita excelentes notas.

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje simbólico
(El estudiante encontrará la Guía para el uso de recursos educativos Simulador Lógica UNAD,
en el Entorno de Aprendizaje Práctico, así como el link de acceso al recurso)
 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel
o foto del desarrollo manual).

p q r s [(𝑟 → ¬𝑞) ∧ (¬𝑞 → 𝑠) ∧ (𝑝 ∧ ¬𝑠)] → ¬𝑟

v v v v v
v v v f v
v v f v v
v v f f v
v f v v v
v f v f v
v f f v v
v f f f v
f v v v v
f v v f v
f v f v v
f v f f v
f f v v v
f f v f v
f f f v v
f f f f v
p q r s (¬q) (r→ (¬q) (¬q →s) (p∧ ¬𝑠) (¬s) [(𝑟 → ¬𝑞) ∧ (¬𝑞 → 𝑠) ∧ (𝑝 ∧ ¬𝑠)]
v v v v v v f f v f
v v v f v v f v v f
v v f v v v v f f f
v v f f v v v f f v
v f v v f v v f v f
v f v f f v v v v f
v f f v f v v f f f
v f f f f v v f f f
f v v v v v f f v f
f v v f v v f v v f
f v f v v v v f f f
f v f f v v v f f f
f f v v f f v f v f
f f v f f f v v v f
f f f v f f v f f f
f f f f f f v f f f

>Resultado de la tabla de verdad: El argumento lógico es válido, es TAUTOLOGÍA.

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

Leyes de inferencia: (Mediante la aplicación de las leyes de inferencia, demuestre la validez del
argumento, recuerde que para aplicar leyes de inferencia debe haber obtenido como resultado una
tautología en la tabla de verdad)

P1: 𝑟 → ¬𝑞

P2:¬𝑞 → 𝑠

Conclusión: ¬𝑟

P3: 𝑝 ∧ ¬𝑠