TAREA 3.

CLASIFICACION DE PROPOSICIONES CATEGORICAS Y METODOS PARA

PROBAR VALIDEZ DE ARGUMENTOS
PENSAMIENTO LOGICO Y MATEMATICO

PRESENTADO POR:
SHIRLY PATRICIA GONZALEZ
CODIGO: 1.121.822.498
GRUPO: 200611_1974

TUTOR:
YIMMER CAMILO VARGAS

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA “UNAD”

INGENIERIA INDUSTRIAL
CEAD ACACIAS
NOVIEMBRE DEL AÑO 2019

1
 INTRODUCCION
El presente trabajo contiene toda la presentación relacionada con la Unidad 3 – Tarea 3.
Clasificación de Proposiciones categóricas y métodos para probar validez de argumentos
donde evidenciamos la realización de 3 Ejercicios de mucho aprendizaje en cuanto a la
selección de proposiciones categóricas, diversos razonamientos en cuanto a una
explicación clara y concisa del Por qué son deductivos y los problemas de aplicación a la
determinación de premisas, Tablas de Lenguaje Simbólico utilizando principalmente las
leyes de la inferencia. Todo lo anterior es enfocado al pensamiento lógico y Matemático,
siendo todo un rompecabezas en donde es de pensar para luego saber cómo actuar, y
realizar todo a cabalidad de una manera excelente.

2
 OBJETIVOS
General:

 Adquirir el conocimiento previo sobre el pensamiento lógico y matemáticos en

relación para nuestro diario vivir.

Objetivos Específicos:

 Implementar diversas estrategias por medio de Leyes en cuanto a un complemento

de nuestra vida.
 Identificar las Premisas, analizarlas, observarlas y reflexionarlas que sirvan como
formulas en cuanto a crecimiento lógico.
 Aprender a realizar las tablas de lenguaje simbólico para que concuerde en todos
los ejercicios.

3
Ejercicio 1: Proposiciones Categóricas
Descripción del Ejercicio: A Continuación, encontrara las proposiciones categóricas para
el Desarrollo del Ejercicio 1:
D.
P: Todos los Esposos son Fieles.
Q: Algunos Esposos son Fieles.
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
Proposiciones Cuantificador Termino Cualidad o Termino
Sujeto Cúpula Predicado.
p Todos Esposos Son Fieles
q Algunos Esposos Son Fieles

 Determine el Tipo de Proposición (A, E, I, O)

La Proposición p es de Tipo A.
La Proposición q es de Tipo I.

Universal Afirmativa (Proposiciones-A): Todos los Esposos son Fieles.

Particular Afirmativo (Proposiciones-I): Algunos Esposos son Fieles.

4
  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 las Proposiciones p y q son Subalternas.

La Proposición p: Todos los Esposos son Fieles, es una Proposición Universal afirmativa
ya que se dirige a todos en general, no de manera individual.
La Proposición q: Algunos Esposos son fieles, es una Proposición Particular Afirmativa ya
que se refiere al grupo completo, utilizando la palabra “Algunos” no se habla solo de una
persona sino de varias.

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).
Descripción del Ejercicio:
A Continuación, encontrara una serie de razonamientos para el Desarrollo del
Ejercicio 2:
D. Manejar Carro es una Actividad que requiere estar atento, evitar distraerse con el Celular,
la Pantalla del Vehículo o con los Pasajeros. Por lo cual la atención debe estar enfocada en
la Vía, los Transeúntes, Vehículos Circundantes y los Límites de Velocidad, por ende, Se
puede estipular que manejar vehículo es una Actividad Riesgosa.

5
A Partir del Razonamiento que haya seleccionado, deberá dar respuesta a los
Siguientes Ítems:

 Identificar si el Razonamiento es Deductivo o Inductivo.

Es un Razonamiento Deductivo.

 Argumenta la Respuesta con sus Propias Palabras.

Es Razonamiento Deductivo, debido a que, todo es válido y correcto ya que las Premisas
lo son, partiendo de que a la hora de manejar carro debemos tener en cuenta una serie de
recomendaciones exactas y verdaderas, aun así, sigue siendo una Actividad riesgosa. En
donde el Razonamiento deductivo se rige por Premisas.

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. Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=81&doc
ID=3199701&tm=1529336485971

Descripción del Ejercicio: A Continuación, encontrara la Expresión simbólica, las

premisas y la Conclusión de un argumento para el Desarrollo del Ejercicio 3.
Expresión Simbólica: [(𝒓 → ~𝒒) ∧ (~𝒒 → 𝒔) ∧ (𝒑 ∧ ~𝒔)] → ~𝒓
Premisas:
𝑷𝟏: 𝑟 → ~𝑞
𝑷𝟐: ~𝑞 → 𝑠
𝑷𝟑: 𝑝 ∧ ~𝑠
𝑪𝒐𝒏𝒄𝒍𝒖𝒔𝒊𝒐𝒏: ~𝑟

6
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: Juan estudia en la UNAD.

Q: Participa Activamente en todas las Materias.
R: Un Paso a Paso.
S: Obtiene Buenas Calificaciones.

 Reemplazar las Variables expresadas simbólicamente y llevarlas al Lenguaje

Natural.
Un Paso a Paso implica no participar Activamente en todas las materias, pero, no participa
activamente en todas las materias, entonces, obtiene buenas calificaciones, y Juan estudia
en la UNAD, pero, no obtiene buenas calificaciones, implica, que no sigue un paso a paso.

 Generar una Tabla de Verdad con el Simulador lógica UNAD a partir del
Lenguaje Simbólico.

7
  Generar una Tabla de Verdad Manualmente a Partir del Lenguaje Simbólico.

Resultado de la Tabla de Verdad: TAUTOLOGIA

8
  Demostración de la Validez del Argumento mediante las Leyes de la Inferencia
Lógica.
[(𝒓 → ~𝒒) ∧ (~𝒒 → 𝒔) ∧ (𝒑 ∧ ~𝒔)] → ~𝒓

Premisas:
𝑷𝟏: 𝑟 → ~𝑞
𝑷𝟐: ~𝑞 → 𝑠
𝑷𝟑: 𝑝 ∧ ~𝑠
𝑪𝒐𝒏𝒄𝒍𝒖𝒔𝒊𝒐𝒏: ~𝑟
𝑷𝟒: 𝑟 → 𝑠 𝐴𝑝𝑙𝑖𝑐𝑎𝑛𝑑𝑜 𝑆𝑖𝑙𝑜𝑔𝑖𝑠𝑚𝑜 𝐻𝑖𝑝𝑜𝑡𝑒𝑡𝑖𝑐𝑜 𝑒𝑛 𝑙𝑎 𝑃1 𝑦 𝑃2.
𝑷𝟓: ~𝑠 𝐴𝑝𝑙𝑖𝑐𝑎𝑛𝑑𝑜 𝑆𝑖𝑚𝑝𝑙𝑖𝑓𝑖𝑐𝑎𝑐𝑖𝑜𝑛 𝑒𝑛 𝑙𝑎 𝑃3.
𝑷𝟔: ~𝑟 𝐴𝑝𝑙𝑖𝑐𝑎𝑛𝑑𝑜 𝑀𝑜𝑑𝑢𝑙𝑜𝑠 𝑇𝑜𝑙𝑙𝑒𝑛𝑠 𝑒𝑛 𝑙𝑎 𝑃4 𝑦 𝑃5.

9
 CONCLUSIONES

 Con el presente trabajo podemos concluir que fue de bastante aprendizaje, pero lo
más importante es que se identificó el cómo se maneja todo lo referente con el
Pensamiento Lógico y Matemático, junto con su gran importancia, pero sin dejar de
un lado el paso a paso de cómo se realizan los ejercicios de las premisas.
 Debemos tener en cuenta que, así como en nuestra vida utilizamos frases para
motivarnos y que todo nos salga bien, también pasa en la Lógica se utilizan diversas
fórmulas para realizar la operación, y que quede bien.
 Los Procedimientos de cada punto se aprendió en cuanto a la realización de
diversos problemas que proporcionan el aprendizaje y la identificación de fórmulas
para cada caso.
 Cuando planteamos una expresión simbólica es importante tener en cuenta
principalmente la demostración de la validez en cuanto a las leyes de inferencia, las
tablas de verdad y la determinación de las Respectivas Premisas.

10
BIBLIOGRAFIA:

 Universidad Nacional Abierta y a Distancia – UNAD (2019) Anexo 1. Ejemplos para

el Desarrollo de la Tarea 3 – Clasificación de Proposiciones Categóricas y Métodos
para Probar Validez de Argumentos, Recuperado el día 01 de Noviembre del Año
2019 de:file:///D:/Downloads/Anexo%20-1-
Ejemplos%20para%20el%20desarrollo%20Tarea%203%20-
%20Clasificaci%C3%B3n%20de%20proposiciones%20categ%C3%B3ricas%20y%
20M%C3%A9todos%20para%20probar%20validez%20de%20argumentos.pdf
 Universidad Nacional Abierta y a Distancia – UNAD (2019) Guía de Actividades y
Rubrica de Evaluación – Tarea 3. Clasificación de Proposiciones Categóricas y
Métodos para probar validez de Argumentos, Recuperado el día 01 de Noviembre
del Año 2019 de:
file:///D:/Downloads/Gu%C3%ADa%20de%20actividades%20y%20r%C3%BAbrica
%20de%20evaluaci%C3%B3n%20-%20Tarea%203%20-
%20Clasificaci%C3%B3n%20de%20proposiciones%20categ%C3%B3ricas%20y%
20M%C3%A9todos%20para%20probar%20validez%20de%20argumentos%20(3).
pdf
 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&doc
ID=4569631&tm=1529513879802
 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
computación. (pp. 9-28). Ediciones Elizcom, Madrid. Recuperado de:
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=12&docID
=3199701&tm=1529335849013

11