Sei sulla pagina 1di 11

Escuela de Ciencias Básicas Tecnología e Ingeniería-ECTBI

CEAD – José Acevedo y Gómez

Pensamiento Lógico y Matemático - 200611A_611

Unidad 3: Tarea 3 - Clasificación de proposiciones categóricas y Métodos para probar


validez de argumentos

James Bend Reinoso Diaz


Código: 93.206. 040
Grupo – 200611_142

Tutor del curso


Ingeniero Químico
Ciro Efraím Martínez Báez

Universidad Nacional Abierta y a Distancia – UNAD


Ingeniería Electrónica
Bogotá 18 de abril de 2019
INTRODUCCION

En la unidad 3 se desarrolló las temáticas de las leyes de inferencia y razonamiento deductivos


e inductivos como también se usará para apoyo de este trabajo el uso del simulador Truth table
y la tabla de verdad
OBJETIVOS

• Analizar cada uno de los temas a desarrollar.


• Identificar las leyes de inferencia y razonamiento deductivo
• Desarrollar los puntos propuestos, siguiendo los enlaces en el entorno de conocimiento.
DESARROLLO DE LOS EJERCICIOS DE LA LETRA E

Ejercicio 1: Proposiciones categóricas

Descripción del ejercicio

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

p: Todos los abogados son muy profesionales

q: Algunos abogados no son muy profesionales

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

Todos Abogados Son Profesionales

Universal afirmativa. Cuantificador universal y cualidad afirmativa.

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

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

ESTRUCTURA

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

Algunos Abogados No Son Profesionales

Particular negativo. Cuantificador particular y cualidad negativa.

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

R// Clasificación de p: Proposición tipo “O”.


• 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
A CONTRARIAS E

SUBALTERNAS
SUBALTERNAS

q
I 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

a. 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.

A partir del razonamiento que haya seleccionado, deberá dar respuesta a los siguientes ítems:
• Identificar si el razonamiento es deductivo o inductivo.
R// R/ El razonamiento es deductivo.
• Argumentar la respuesta con sus propias palabras.
R// Se deduce que los estudiantes que estamos matriculados en universidades a distancia
nos tocan utilizar los medios informáticos.

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: (𝑝 ∨∼ 𝑟)

Conclusión: (𝑞 ∨ 𝑠)

A partir de la expresión simbólica seleccionada, el estudiante deberá:

• Definir las proposiciones simples:

P: James gana el periodo académico

Q: Osiris mi esposa se alegra conmigo

R: Cumplo pierdo la beca

S: la universidad me hace el llamado de atención


• Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural:

Si James gana el periodo académico entonces Osiris mi esposa se alegra conmigo, y si no


cumplo pierdo la beca entonces la universidad me hace el llamado de atención. Y James
gana el periodo académico o no cumple pierdo la beca entonces Osiris mi esposa se alegra
conmigo o la universidad me felicita.

• Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico:
• Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel o foto del desarrollo manual).

𝑷 𝑸 𝑹 𝑺 𝑷→𝑸 ¬𝑹 ¬𝑹 𝑸⋁𝑺 (¬𝑹) → 𝑺 𝑷⋁(¬𝑹) (𝑷 → 𝑸)⋀((¬𝑹) ((𝑷 → 𝑸)⋀((¬𝑹) → 𝑺))⋀(𝑷⋁(¬𝑹)) [((𝑷 → 𝑸)⋀((¬𝑹) → 𝑺)) ⋀(𝑷⋁(¬𝑹))
→ 𝑺)
→ (𝑸⋁𝑺)

𝑉 𝑉 𝑉 𝑉 𝐹 𝐹 𝐹 𝑉 𝑉 𝐹 𝑉 𝑉 𝑉

𝑉 𝑉 𝑉 𝐹 𝐹 𝐹 𝐹 𝐹 𝐹 𝐹 𝐹 𝐹 𝑉

𝑉 𝑉 𝐹 𝑉 𝐹 𝑉 𝑉 𝑉 𝐹 𝑉 𝐹 𝑉 𝑉

𝑉 𝑉 𝐹 𝐹 𝐹 𝑉 𝑉 𝐹 𝐹 𝑉 𝐹 𝑉 𝑉

𝑉 𝐹 𝑉 𝑉 𝐹 𝐹 𝐹 𝐹 𝑉 𝐹 𝑉 𝑉 𝑉

𝑉 𝐹 𝑉 𝐹 𝐹 𝐹 𝐹 𝐹 𝐹 𝐹 𝐹 𝐹 𝑉

𝑉 𝐹 𝐹 𝑉 𝐹 𝑉 𝑉 𝐹 𝐹 𝑉 𝐹 𝑉 𝑉

𝑉 𝐹 𝐹 𝐹 𝐹 𝑉 𝑉 𝐹 𝐹 𝑉 𝐹 𝑉 𝑉

𝐹 𝑉 𝑉 𝑉 𝑉 𝐹 𝐹 𝑉 𝑉 𝐹 𝑉 𝑉 𝑉

𝐹 𝑉 𝑉 𝐹 𝑉 𝐹 𝐹 𝐹 𝐹 𝐹 𝑉 𝑉 𝑉

𝐹 𝑉 𝐹 𝑉 𝑉 𝑉 𝑉 𝑉 𝐹 𝐹 𝑉 𝑉 𝑉

𝐹 𝑉 𝐹 𝐹 𝑉 𝑉 𝑉 𝐹 𝐹 𝐹 𝑉 𝑉 𝑉

𝐹 𝐹 𝑉 𝑉 𝐹 𝐹 𝐹 𝐹 𝑉 𝐹 𝑉 𝑉 𝑉

𝐹 𝐹 𝑉 𝐹 𝐹 𝐹 𝐹 𝐹 𝐹 𝐹 𝐹 𝐹 𝑉

𝐹 𝐹 𝐹 𝑉 𝐹 𝑉 𝑉 𝐹 𝐹 𝐹 𝐹 𝐹 𝑉

𝐹 𝐹 𝐹 𝐹 𝐹 𝑉 𝑉 𝐹 𝐹 𝐹 𝐹 𝐹 𝑉

Resultado de la tabla de verdad: TAUTOLOGÍA


• Demostración de la validez del argumento mediante las leyes de la inferencia lógica
• P1: (𝑝 ⟶ 𝑞 )
• P2: (∼ 𝑟 ⟶ 𝑠)
• P3: (𝑝 ∨∼ 𝑟)
• Conclusión: (𝑞 ∨ 𝑠)
• P4: (𝑝 ∨∼ 𝑟) DS (1), (2)
CONCLUSIONES

En este trabajo adquirimos algunos conocimientos de leyes inferencia y razonamientos


deductivos e inductivos, llegando al desarrollo de cada uno de los objetivos propuestos en esta
actividad.

Podemos concluir que para resolver las temáticas correspondientes sobre razonamiento lo
podemos demostrar con tablas y reglas.
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
=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