Está en la página 1de 12

INTRODUCCIÓN A LA LICENCIATURA EN PEDAGOGÍA INFANTIL

Unidad 2 - Teoría de Conjuntos

Profesor tutor: Juan Carlos Guerrero

PENSAMIENTO LOGICO Y MATEMATICO

Unidad 2: Tarea 2 - Teoría de conjuntos

Nombre: Sandra Milena Delgado López


Código del estudiante: 63548952
Número de grupo: 200611_178

Bucaramanga/06/2019
INTRODUCCIÓN
En esta actividad sobre Clasificación de proposiciones categóricas y Métodos para probar validez de
argumentos lo que se buscó fue que yo como estudiante de la UNAD comprenda y aplique adecuadamente los
métodos para probar validez de argumentos y clasificar las proposiciones categóricas en el estudio y análisis de todo
el contenido programado en esta unidad y dinamizar el proceso de aprendizaje en situaciones específicas donde es
pertinente dar aplicabilidad y una adecuada solución a estos problemas que se plantean, y poder así argumentar la
estructura de planteamiento del problema y la resolución de cada situación
OBJETIVOS

 Asegurar que los estudiantes comprenden la terminología sugerida en el curso para la unidad.

 Que los estudiantes se familiaricen con el curso, desarrollando los problemas propuestos en cada
ejercicio.

 Lograr la comprensión sobre la Clasificación de proposiciones categóricas y Métodos para probar


validez de argumentos y que se logre aplicar los conocimientos adquiridos durante cada situación.
Ejercicio 1: Proposiciones categóricas

Descripción del ejercicio:

D)
p: Ningún político es honesto
q: Algunos políticos son honesto

 Establecer su estructura de acuerdo con la siguiente tabla:

ESTRUCTURA

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

Ningún Político Es Honesto


Algunos Políticos Son Honestos
 Determine el tipo de proposición (A, E, I, O).

Clasificación de p: preposición tipo I


Clasificación de q: preposición tipo E

 Establecer si las proposiciones son contrarias, de contingencia o subcontrarias.


De acuerdo al esquema propuesto p y q son contradictorias.
Ejercicio 2: Razonamiento Deductivo e Inductivo

Descripción del ejercicio:

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

d) James Clerk Maxwel dice: ” Todas las ciencias matemáticas se basan en las relaciones entre las leyes físicas y
las leyes de los números, por lo que el objetivo de la ciencia exacta es reducir los problemas de la naturaleza a la
determinación de cantidades mediante las operaciones con números“.

A partir del razonamiento que haya seleccionado, deberá dar respuesta a los siguientes ítems:

 Identificar si el razonamiento es deductivo o inductivo.


El razonamiento es deductivo

 Argumentar la respuesta con sus propias palabras.


La afirmación que hace James Clerk Maxwel está utilizando lo que ya sabe con lo que ve y lo relaciona con lo que sabe,
utilizando una premisa que va de lo general a lo particular siendo un razonamiento que no está utilizando premisas
separadas por puntos.
Ejercicio 3: Problemas de aplicación

Descripción del ejercicio:


A continuación, encontrará proposiciones compuestas en lenguaje simbólico (argumento) para el desarrollo del ejercicio 3:

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

Premisas:
P1: (¬𝑝 → ¬𝑟)
P2: (𝑠 → ¬𝑞)
P3: (𝑠 ∧ 𝑟)
Conclusión ¬𝑞

A partir de la proposición compuesta en lenguaje simbólico que haya seleccionado 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: Thomas es estudiante de la universidad


q: Thomas no resuelve los ejercicios planteados
r: Thomas resuelve los ejercicios planteados
s: Thomas pierde la beca universitaria
 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las proposiciones simples
deben ser de autoría de cada estudiante.

Thomas es estudiante universitario entonces si Thomas no resuelve los ejercicios planteados y Thomas
resuelve los ejercicios planteados entonces Thomas no pierde la beca universitaria.

 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 ma

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

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

Premisas:
P1: (¬𝑝 → ¬𝑟)
P2: (𝑠 → ¬𝑞)
P3: (𝑠 ∧ 𝑟)
Conclusión ¬𝑞
P4: p aplicando simplificacion en la P3
P5: q aplicando modus PP en la P2
P6: ¬q aplicando modus TT en P1 Y P 2
Conclusión ¬𝑞
CONCLUSIONES

Con este trabajo he aprendido muchas cosas, teniendo en cuenta que había temas de las cuales
no tenía conocimiento. Ha sido de gran importancia para mi vida, el desarrollo del conocimiento
sobre Clasificación de proposiciones categóricas y Métodos para probar validez de argumentos,
gracias al estudio y al análisis de las temáticas dadas por la universidad y son estos
conocimientos lo que me ayudan a ir creciendo poco a poco, paso a paso lo que me va llevando
día a día a ser cada vez mejor persona llegando a ser un buen profesional para prestar un
servicio oportuno y adecuado a una sociedad que cada día exige más. Perdiendo así el miedo
hacia las matemáticas que desde niña las tenía bloqueadas de mi vida; pues me he demostrado
que con paciencia y persistencia puedo lograr llevar a cabo un trabajo sobre un tema que temía
siquiera nombrar.
REFERENCIAS BIBLIOGRAFICAS

Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal, MÉXICO:
Grupo Editorial Patria. (pp. 61- 65) Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=72&docID=45696
31&tm=1529336365580

Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal, MÉXICO:
Grupo Editorial Patria. (pp. 80 - 84) Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=91&docID=45696
31&tm=1529513879802

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


78 - 99). Ediciones Elizcom, Madrid. Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=81&docID=31997
01&tm=1529336485971