Ejercicio 1: Proposiciones categóricas

a).

p: Todos los médicos son especialistas

q: Algunos médicos no son especialistas

 Establecer su estructura de acuerdo con la siguiente tabla:

ESTRUCTURA

Cuantificador Término Sujeto Cualidad o Cúpula Término Predicado

TODOS MÉDICOS SON ESPECIALISTAS

ALGUNOS MÉDICOS NO SON ESPECIALISTAS

 Determine el tipo de proposición (A, E, I, O).

 Todos los médicos son especialistas
Clasificación proposición “A”
Universal afirmativa. Cuantificador universal y cualidad
afirmativa.
 Algunos médicos no son especialistas
Clasificación proposición “O”
Particular negativo. Cuantificador particular y cualidad
negativa.

 De acuerdo a la determinación anterior y teniendo el siguiente

esquema, establezca si las proposiciones son contrarias, de
contingencia o subcontrarias. Requisito para este paso las
proposiciones deben tener el mismo término sujeto y predicado.
De acuerdo al esquema propuesto p y q son contradictorias.

Ejercicio 2: Razonamiento Deductivo e Inductivo

A. Según estudios médicos las personas con altas dosis de sodio en

su cuerpo sufren de hipertensión. A Angela le gusta condimentar
sus alimentos con mucha sal, los médicos han diagnosticado que
Angela sufrirá de hipertensión.

 Identificar si el razonamiento es deductivo o inductivo.

Razonamiento es deductivo

 Argumentar la respuesta con sus propias palabras.

Esta deducción se basa a partir de hechos conocidos como el
consumo alto de sodio, ya que se encuentra en la sal aumenta
los niveles en la tensión o sea la persona sufrirá de
hipertensión.
Ejercicio 3: Problemas de aplicación

a. Expresión simbólica: [ ( p → q ) ∧ ( p ∨ s ) ∧ ( ¬ s ∧¬ q )]→ q

Premisas:

P1: ( p →q )
P2:( p ∨s )
P3: ( ¬ s ∧¬ q )

Conclusión: q

 Definir las proposiciones simples.

p: Participo en clase de matemáticas
q: Obtengo buenas calificaciones
s: Realizo los trabajos de matemáticas

 Remplazar las variables expresadas simbólicamente y llevarlas al

lenguaje natural.
Si participo en clase de matemáticas entonces obtengo buenas
calificaciones y Si participo en clase de matemáticas o realizo los
trabajos y si no realizo los trabajos y no obtengo buenas
calificaciones. Por lo tanto, obtengo buenas calificaciones.

 Generar una tabla de verdad con el simulador Lógica UNAD a

partir del lenguaje simbólico.
 Generar una tabla de verdad manualmente a partir del lenguaje
simbólico (En Word, Excel o foto del desarrollo manual).

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

inferencia lógica

Leyes de inferencia
 REFERENCIA BIBLIOGRAFICA

 Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos.

Distrito Federal, MÉXICO: Grupo Editorial Patria. (pp. 61-65.)
 Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos.
Distrito Federal, MÉXICO: Grupo Editorial Patria. (pp. 80 - 84)
 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de
sistemas y computación. (pp. 78 - 99). Ediciones Elizcom, Madrid.
 https://www.academia.edu/6373769/138050656-Allendoerfer-
Fundamento-de-Matematicas-Universitarias-pdf