Ejercicio 1: Proposiciones categóricas

Para el desarrollo de este ejercicio, es necesario que el estudiante

revise en el Entorno de Conocimiento (Unidad 3), la siguiente
referencia:

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

básicos. Distrito Federal, MÉXICO: Grupo Editorial Patria. (pp.
61-65.)

Una vez realizada la lectura, desarrolle el ejercicio propuesto.

Descripción del ejercicio

A continuación, encontrará las proposiciones categóricas para el
desarrollo del ejercicio 1:
a).
p: Todos los médicos son especialistas
q: Algunos médicos no son especialistas

A partir de las proposiciones categóricas que haya seleccionado deberá

dar respuesta a los siguientes ítems:

 Establecer su estructura de acuerdo con la siguiente tabla:

ESTRUCTURA

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

 Determine el tipo de proposición (A, E, I, O).
 Universal afirmativa (proposiciones-A): Todo S es P.
Cuantificador universal y cualidad afirmativa.
 Universal negativa (proposiciones-E): Ningún S es P o
Todo S no es P. Cuantificador universal negativo o
Cuantificador universal y cualidad negativa.
 Particular afirmativa (proposiciones-I): Algunos S son P.
Cuantificador particular y cualidad afirmativa.
 Particular negativa (proposiciones-O): Algunos S no son
P. 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.
Ejercicio 2: Razonamiento Deductivo e Inductivo

Para el desarrollo de este ejercicio, es necesario que el estudiante

revise en el Entorno de Conocimiento (Unidad 3), la siguiente
referencia:

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

básicos. Distrito Federal, MÉXICO: Grupo Editorial Patria. (pp. 80
- 84)

Una vez realizada la lectura, desarrolle el ejercicio propuesto.

Descripción del ejercicio:

A continuación, encontrará una serie de razonamientos para el
desarrollo del ejercicio 2:

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.

A partir del razonamiento que haya seleccionado, deberá dar

respuesta a los siguientes ítems:
 Identificar si el razonamiento es deductivo o inductivo.
 Argumentar la respuesta con sus propias palabras.
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:

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
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, ejemplo:

p: Carlos estudia en la UNAD

q: La UNAD es una Universidad Pública
 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.
 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).
 Demostración de la validez del argumento mediante las leyes de
la inferencia lógica