DOCENTE OSCAR DANILO BEDOYA TOBAR E- MAIL profeoscardanilo@yahoo.

com
ASIGNATURA LÓGICA DEL PENSAM. MATEMÁTICO PROG. ACADEM. Salud OCUPACIONAL
ACTIVIDAD TALLER 10 GRUPAL GRUPO S2491 S2491B FECHA Noviembre 2021

1. En cada uno de los problemas siguientes, tradúzcase a la forma simbólica y empleando las reglas
de inferencia y de validez, establézcase para cada argumento si es o no válido. Intente inicialmente
analizar el razonamiento sin recurrir a la representación simbólica.

A. Si trabajo, entonces no estudio. Estudio o repruebo el curso de matemáticas. Aprobé el curso de

matemáticas; luego, trabajo.
B. Para que valga la pena tomarlo, es suficiente que sea un excelente curso. O las calificaciones son
justas o no vale la pena tomar el curso. Las calificaciones no son justas. Luego, no es un excelente
curso.
C. Para que el candidato llegue a la presidencia es necesario que gane las elecciones en el
departamento. El ganará las elecciones en el departamento únicamente si defiende los derechos
civiles. El no defenderá los derechos civiles. Por tanto, el candidato no llegará a la presidencia.

2. Verificar mediante las reglas de inferencia y validez en cada uno de los problemas siguientes si el
argumento es o no válido.
A.
1. 𝑅 ∨ ~𝑄
2. ~𝑃 → 𝑄
3. (𝑃 ∨ 𝑅) → 𝑆
∴𝑆
B.
1. (𝑃 → ¬𝑄) → (¬𝑅 → 𝑆)
2. 𝑄 → 𝑆
3. 𝑃 → ¬𝑆
∴𝑅∨𝑆

3. Analizar, desde las reglas de inferencia, la validez o no validez de los siguientes razonamientos:
A. Carlos aprobó el examen de matemáticas y ocupó el primer puesto en biología. Si Felipe no
aprobó el examen de matemáticas entonces Carlos no ocupó el primer puesto en biología. Si
Felipe aprobó el examen de matemáticas entonces aprobó el año. Luego: Carlos aprobó el
examen de matemáticas y Felipe aprobó el año.
B. Si Nacional ganó el campeonato, entonces Junior fue el segundo o América fue el segundo. Si
Junior fue el segundo, entonces Nacional no ganó el campeonato. Si Tolima fue el segundo,
entonces América no fue el segundo. Nacional ganó el campeonato. Luego Tolima no fue el
segundo.