Vous êtes sur la page 1sur 15

Desarrollo de tarea 3: clasificación de proposiciones categóricas y métodos para

probar validez de argumentos

Entregado por:

Camila vacca fernandez

Entregado al tutor:

Randy Zabaleta

Universidad nacional abierta y a distancia (UNAD)

Pensamiento lógico matemático

Psicología
Introducción

El siguiente escrito está basado en la solución de tres ejercicios donde se emplea


el análisis de las proposiciones categóricas y, a su vez, el pensamiento lógico
matemático; el primer ejercicio se plantea una oración que consta de dos premisas
que se deben clasificar de acuerdo a como están categorizadas entre las mimas; el
segundo ejercicio plantea que a partir de un texto lógico, se debe clasificar en
inductivo o deductivo de acuerdo a como están escrito; por último, a partir de las
tablas de verdad, debemos dar respuesta a una premisa lógica usando
herramientas lógicas y tablas de verdad.
Objetivos

General

 Desarrollar todos los ejercicios B propuestos por la guía de actividades

Específicos

 Aplicar los conceptos vistos en el curso de pensamiento lógico matemático


 Usar los conceptos lógicos en cada uno de los tres ejercicios propuestos
Cuerpo del trabajo

Ejercicio 1: proposiciones categóricas

Descripción del ejercicio

A continuación, encontrará las proposiciones categóricas para el desarrollo del


ejercicio 1:

b).

p: Ningún tutor de Pensamiento Lógico es Licenciado en Matemáticas

q: Algunos tutores de Pensamiento Lógico son Licenciados en Matemáticas

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

Ningún tutor de es Licenciado en


Pensamiento Matemáticas
Lógico

Algunos tutores de Son Licenciados en


Pensamiento Matemáticas
Lógico
Determine el tipo de proposición (A, E, I, O).
Universal negativa (proposiciones-E): Ningún S es P o Todo S no es P.
Cuantificador universal negativo o Cuantificador universal y cualidad negativa.
La proposición p, corresponde a una proposición universal negativa, dado que
está afirmando que ningún tutor de pensamiento lógico es licenciado, es decir,
ningún S es P.

p: Ningún tutor de Pensamiento Lógico es Licenciado en Matemáticas

Particular afirmativo (proposiciones-I): Algunos S son P. Cuantificador particular y


cualidad afirmativa.
La proposición q, corresponde a una proposición particular afirmativa, donde estable
que algunos tutores son licenciados, pero no todos; es decir, algunos S son P.
q: Algunos tutores de Pensamiento Lógico son Licenciados en Matemáticas

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

p: Ningún tutor de Pensamiento Lógico es Licenciado en Matemáticas

q: Algún tutor de Pensamiento Lógico es Licenciado en Matemáticas


Tenemos que la proposición p pertenece a la categoría universal negativa E y la
proposición q fue arreglada y aun ‘pertenece a una proposición particular
afirmativa y, conjunto a la tabla, las proposiciones p y q son contradictorias.

LAS PROPOSICIONES 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:

El 31 de octubre es el día de los niños, éste día se acostumbra que los niños pidan
dulces por lugares cercanos a su hogar en compañía de un adulto. El índice de
robos de niños el día de Halloween ha aumentado por lo tanto la costumbre de sacar
a los niños a pedir dulces se ha perdido.

A partir del razonamiento que haya seleccionado, deberá dar respuesta a los
siguientes ítems:
Identificar si el razonamiento es deductivo o inductivo.

El razonamiento de este enunciado es de tipo deductivo

Argumentar la respuesta con sus propias palabras.

PRIMERA PREMISA

El 31 de octubre es el día de los niños (afirmación general sobre una festividad)

SEGUNDA PREMISA

éste día se acostumbra que los niños pidan dulces por lugares cercanos a su hogar
en compañía de un adulto (afirmación general sobre lo que se hace el día de los
niños, es más especifica que la anterior, pero sigue siendo general)

TERCERA PREMISA

El índice de robos de niños el día de Halloween ha aumentado (afirmación general


sobre un hecho puntual de lo que esta sucediendo en este día, es decir, las premisas
están pasando de ser generales a puntuales)

CONCLUSIÓN
Por lo tanto, la costumbre de sacar a los niños a pedir dulces se ha perdido (la
conclusión se hace basado en unas premisas que se van enfocando respecto a un
área en general, se parte de un concepto aplicable en cualquier parte del planeta
para terminar con una conclusión particular aplicable solamente en la región
observada)

Ejercicio 3: Problemas de aplicación

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:
[(𝑝 ∨ 𝑞) ∧ (𝑞 ⟶∼ 𝑟) ∧ (∼ 𝑟 ⟶ 𝑠) ∧ (∼ 𝑝) ∧ (𝑠 ⟶ 𝑟)] ⟶ (𝑟)

Premisas:

P1: (𝑝 ∨ 𝑞)

P2: (𝑞 ⟶∼ 𝑟)

P3: (∼ 𝑟 ⟶ 𝑠)

P4: (∼ 𝑝)

P5: (𝑠 ⟶ 𝑟)

Conclusión: (𝑟)

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: soy estudiante unadista

q: hago mis trabajos a tiempo

s: si soy ordenado

r: aprobare el curso

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.
Si soy estudiante unadista o hago mis trabajos a tiempo y si soy ordenado
entonces no aprobare el curso y si no apruebo el curso entonces si soy ordenado
y no soy estudiante unadista y si soy ordenado entonces aprobare el curso, por
tanto, aprobare el curso.

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)

p q r s ((p∨q)∧(q→~r)∧(~r→s)∧(~p)∧(s→r))→(r)

v v vv V
p q r s ((p∨q)∧(q→~r)∧(~r→s)∧(~p)∧(s→r))→(r)

v v vf V

v v f v V

v v f f V

v f vv V

v f vf V

v f f v V

v f f f V

f v vv V

f v vf V

f v f v V

f v f f V

f f vv V

f f vf V

f f f v V

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

p q r s -r -p (pvq) (q→-r) -r→s (s→r) (pvq)∧(q→-r) (pvq)∧(q→-r)∧(-r→s) (pvq)∧(q→-r)∧(-r→s)∧(-p) (pvq)∧(q→-r)∧(-r→s)∧(-p)∧(s→r) [(pvq)∧(q→-r)∧(-r→s)∧(-p)∧(s→r)]→r


v v v v f f v f v v f f f f v
v v v f f f v f v v f f f f v
v v f v v f v v v f v v f f v
v v f f v f v v f v v f f f v
v f v v f f v v v v v v f f v
v f v f f f v v v v v v f f v
v f f v v f v v v f v v f f v
v f f f v f v v f v v f f f v
f v v v f v v f v v f f f f v
f v v f f v v f v v f f f f v
f v f v v v v v v r v v v f v
f v f f v v v v f v v f f f v
f f v v f v f v v v f f f f v
f f v f f v f v v v f f f f v
f f f v v v f v v f f f f f v
f f f f v v f v f v f f f f v
 Demostración de la validez del argumento mediante las leyes de la
inferencia lógica
 Premisas:
 P1: (𝑝 ∨ 𝑞)
 P2: (𝑞 ⟶∼ 𝑟)
 P3: (∼ 𝑟 ⟶ 𝑠)
 P4: (∼ 𝑝)
 P5: (𝑠 ⟶ 𝑟)
 C: 𝑟

SH P2 CON P3
 P2: (𝑞 ⟶∼ 𝑟)
 P3: (∼ 𝑟 ⟶ 𝑠)
P6: (𝑞 ⟶ 𝑠)

MTP P1 Y P4
 P1: (𝑝 ∨ 𝑞)
 P4: (∼ 𝑝)
P7: 𝑞

MPP P6 Y P7
 P6: (𝑞 ⟶ 𝑠)
 P7: 𝑞
P8: 𝑠

MPP P5 CON P8
 P5: (𝑠 ⟶ 𝑟)
 P8: 𝑠
∴ (𝑟)
Conclusiones

 El ejercicio lógico demuestra la validez o falsedad de los argumentos, a su


vez, el flujo de naturalidad con lo que las premisas dan pie a las conclusiones
descritas.
 Las tablas de verdad demuestran de manera secuencial el paso a paso del
desarrollo de los operadores lógicos.
 El razonamiento lógico matemático es fundamental para el acercamiento de
los hechos realizados, ya que describe los argumentos a tal medida que hace
concluir de manera natural la lógica de los hechos.
Bibliografía

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

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


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