Pensamiento lógico y matemático

Unidad 3: proposiciones categóricas y

razonamientos lógicos
Tarea 3

Tania Marcela Duran Álvarez

Código: 1004899019
N° grupo: 200611_357

Tutor
Ramdhar Yusseff

Universidad Nacional Abierta y A Distancia

Escuela de ciencias sociales Artes y Humanidades
CEAD Ocaña
1
 INTRODUCCIÓN

El siguiente trabajo fue realizado con el fin de dar a conocer las proposiciones categóricas,
las cuales se clasifican por su calidad y por su cantidad. En cuanto a calidad, pueden ser
afirmativas o negativas. Son afirmativas cuando el predicado asigna al sujeto alguna
característica o cualidad. En cuanto a cantidad, las proposiciones categóricas pueden ser
universales,  particulares o singulares. Son universales cuando se refieren a la totalidad del
conjunto de los sujetos. Son particulares cuando se refieren sólo a una parte del conjunto de
los sujetos y son singulares cuando se refieren a sólo un miembro específico del conjunto
de los sujetos.
La base del desarrollo de esta actividad es brindar conocimiento para distinguir los
razonamientos deductivos y los no deductivos. Los deductivos pueden caracterizarse como
aquellos razonamientos en los que se pretende que la conclusión se infiera en forma
necesaria de las premisas. En los no deductivos, en cambio la conclusión se infiere con
cierto grado de probabilidad, no con necesidad entre los razonamientos distinguimos los
deductivos y los no deductivos. Los deductivos pueden caracterizarse como aquellos
razonamientos en los que se pretende que la conclusión se infiera en forma necesaria de las
premisas. En los no deductivos, en cambio la conclusión se infiere con cierto grado de
probabilidad, no con necesidad.

2
Objetivos

 Lograr establecer adecuadamente la estructura y determinar correctamente el tipo de

proposición categórica, de tal manera que se realice la ubicación en los esquemas
pertinentes.

 Identificar correctamente el tipo el razonamiento y argumentar de forma adecuada

la elección de este.

 Reemplazar las variables expresadas simbólicamente y llevarlas adecuadamente al

lenguaje natural a partir de proposiciones simples propuestas.

 Generar correctamente una tabla de verdad a partir del lenguaje simbólico de un

argumento utilizando el simulador Lógica UNAD y realizar tabla manual de
acuerdo con las proposiciones indicadas simples y o compuestas.

3
Ejercicio 1
Proposiciones categóricas

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

p: Todos los abogados son muy profesionales

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

Todos Abogados Son profesionales

Resultado: Clasificación de p: Proposición tipo “A”.

Universal afirmativa. Cuantificador universal y cualidad afirmativa.

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

q: Algunos abogados no son muy profesionales

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

Algunos Abogados No son muy profesionales

Resultado: Clasificación de q: Proposición tipo “O”.

Particular negativa. Cuantificador particular y cualidad negativa.

 Establezca si las proposiciones son contrarias, de contingencia o subcontrarias.

4
 p

De acuerdo al esquema propuesto p y q son contradictorias.

Ejercicio 2
Tipos de razonamiento

5
  Identificar si el razonamiento es deductivo o inductivo.
 Argumentar la respuesta con sus propias palabras.

e) Los estudiantes de las universidades que son a Distancia,

utilizan los medios informáticos para estudiar, Claudia es estudiante de Pensamiento
Lógico Matemático de la UNAD. Claudia muy seguramente utiliza los medios
informáticos para estudiar.

Argumento: el tipo de razonamiento es inductivo, ya que se infiere una conclusión,

con presunción de verdad, a partir de unos casos particulares. Nótese que la
conclusión tiene el riesgo de ser equivocada. Claudia muy seguramente utiliza los
medios informáticos para estudiar.

Ejercicio 3
Problemas de aplicación

6
 e) Expresión simbólica: [ ( p ⟶ q ) ∧ ( ∼r ⟶ s ) ∧ ( p ∨ ∼r ) ]⟶ (q ∨ s)

Premisas:
P1:( p ⟶ q )
P2:( ∼ r ⟶ s )
P3: ( p ∨∼r )
Conclusión: (q ∨ s)

 Proposiciones simples
P1: estudio las guías, aprendo las lecciones.

P2: no ingreso a la plataforma, busco leer.

P3: estudio las guías o no ingreso a la plataforma.

Conclusión: por lo tanto, aprendo las lecciones o busco leer.

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje

natural.

Si estudio las guías entonces aprendo las lecciones. Si no ingreso a la plataforma

entonces busco leer. Estudio las guías o no ingreso a la plataforma. por lo tanto,
aprendo las lecciones o busco leer.

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

7
 Generar una tabla de verdad manualmente a partir del
lenguaje simbólico

8
 Resultado de la tabla de verdad: TAUTOLOGIA.

 Demostración de la validez del argumento mediante las

leyes de la inferencia lógica

[ ( p ⟶ q ) ∧ ( ∼r ⟶ s ) ∧ ( p ∨ ∼r ) ]⟶ (q ∨ s)

1. ( p ⟶ q )

2. ( ∼ r ⟶ s )

3. ( p ∨∼r )

4. (q v s) SC P1-P2-P3

El silogismo es válido.

Conclusiones

9
  Principalmente, logré comprender como la lógica se dedica a la exposición de las
formas, los métodos y los principios del conocimiento científico. Aprendí que
cuando algo es lógico respeta las reglas y sus consecuencias resultan justificadas,
válidas o naturales.

 Conseguí como dar solución a Problemas de aplicación con métodos para probar
validez de argumentos, convirtiéndose en una base solida para nutrir mis
conocimientos en razonamiento lógico para mi formación como futuro profesional y
por ende para mi vida personal.

 Obtuve reemplazar variables expresadas simbólicamente llevándolas

adecuadamente al lenguaje natural a partir de proposiciones simples propuestas,
también establecí correctamente las proposiciones simples pedidas de acuerdo a un
contexto solicitado.

Referencias Bibliográficas

10
 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=4569631&tm=1529336365580

 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=3199701&tm=1529336485971

 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=4569631&tm=1529513879802

 Castaño, G. (2017). Leyes de inferencia, [Video]. Recuperado

de http://hdl.handle.net/10596/13869

11