UNIVERSIDAD NACIONAL ABIERTA Y A

DISTANCIA
Programa Ingeniería de Alimento

Curso
Pensamiento lógico y matemático

Estudiante
Jesús Alberto Becerra Vera
Código:1065891491
Grupo:813

Roger Ricardo Negrete

Tutor Curso

Aguachica-Cesar
12 de noviembre 2018
 INTRODUCCIÓN

Se inicia este trabajo con el desarrollo de un ejercicio de acuerdo al tema proposiciones

categóricas en cual se podrá observar la forma de clasificación y como se debe estructurar de

acuerdo al orden y como se establece si la proposición es contraria de contingencia o

subcontrarias.

Como segunda parte de este trabajo se abordó el tema razonamiento lógico para el cual se

desarrolló un ejercicio de acuerdo a la letra seleccionada en cual se pudo deducir que tipo de

razonamiento era inductivo o deductivo, de esa misma forma argumentando la justificación del

razonamiento.

Por último punto se elaboró un ejercicio basándonos en los temas de ayuda propuestos en el

curso partiendo de un argumento con expresión simbólica, premisas y conclusión se definen las

proposiciones simples y se expresa en lenguaje natural. Elaborando también tabla de verdad

manual y tabla de verdad en el simulador Truth Table, para verificar los resultados manuales a

partir del lenguaje simbólico por ultimo demostrar la validez del argumento mediante las leyes

de la inferencia lógica.
 OBJETIVOS

General.

Analizar, comprender e identificar los métodos de demostración de validez de argumentos,

razonamientos por inducción y deducción, elaboración de tablas de verdad manual y

proposiciones categóricas.

Específicos.

 Reconocer proposiciones categóricas y aplicar razonamientos lógicos a diversas

situaciones planteadas en contextos reales.

 Elaborar ejercicio mediante razonamiento deductivo o inductivo.

 Demostrar la validez del argumento mediante el uso de las leyes de inferencia lógica

 Identificar los argumentos de una proposición clasificación y estructura

 Aprender a generar tablas de verdad mediante simulador Truth Table.

Ejercicio 1: Proposiciones categóricas

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

Letra seleccionada:
C) p: Todos los psicólogos son especialistas en psicología organizacional.

q: Algunos psicólogos no son especialistas en psicología organizacional.

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:

p: Todos los psicólogos son especialistas en psicología organizacional.

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

Todos Psicólogos Son Especialistas

Clasificación de p: proposición tipo A

Universal afirmativa: Cuantificador universal y cualidad afirmativa.
q: Algunos psicólogos no son especialistas en psicología organizacional.

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

Algunos Psicólogos No son Especialistas

Clasificación de q: proposición tipo O

Particular negativa. Cuantificador particular y cualidad negativa

CUADRO DE OPOSICION.
p: Todos los psicólogos son especialistas en psicología organizacional.

q: Algunos psicólogos no son especialistas en psicología organizacional.

De acuerdo a la determinación anterior y teniendo el siguiente esquema, establezca si las proposiciones son
contrarias, de contingencia o subcontrarias.

De acuerdo al esquema propuesto P y Q son proposiciones contradictorias tanto en cantidad como en

cualidad ya que la proposición P es del tipo A y la proposición Q es del tipo O.
Ejercicio 2: Razonamiento Deductivo e Inductivo

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

Según la letra que haya seleccionado, deberá dar respuesta a los siguientes ítems:

1. Identificar si el razonamiento es deductivo o inductivo.

2. Argumentar la respuesta con sus propias palabras

Letra seleccionada:

C.) En el mundial de Brasil en el año 2014, la selección colombiana mostró un buen desempeño.
Jugó contra la selección de Grecia, Costa de Marfil, Japón, Uruguay y Brasil, de los cuales, ganó
4 encuentros y perdió uno en cuartos de finales. Por lo tanto, si este año, en el mundial de Rusia
2018, Colombia juega con la misma línea de jugadores y contra los mismos equipos, les ganará
nuevamente

 Argumentación: El razonamiento utilizado es inductivo, porque aunque las premisas

son verdaderas, nadie asegura que la conclusión sea verdadera o falsa, Por lo tanto, si este
año, en el mundial de Rusia 2018, Colombia juega con la misma línea de jugadores y
contra los mismos equipos, les ganará nuevamente
Ejercicio 3: Problemas de aplicación

A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un argumento

para el desarrollo del ejercicio 3:

Letra seleccionada:

C.) Expresión simbólica: {[𝑝 → (𝑞 ∨ 𝑟)] ∧ (𝑠 →∼ 𝑞) ∧ (𝑡 →∼ 𝑟) ∧ (𝑝 ∧ 𝑡)} → 𝑞

Premisas

P1: 𝑝 → (𝑞 ∨ 𝑟)

P2: 𝑠 →∼ 𝑞

P3: 𝑡 →∼ 𝑟

P4: 𝑝 ∧ 𝑡

Conclusión: 𝑞

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

 Definir las proposiciones simples:

p: Carlos entrega los trabajos

q: saca buenas notas

r: reprueba el semestre

s: pasa la materia

t: pierde la beca
 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural:

Carlos entrega los trabajos entonces saca buenas notas o reprueba el semestre y pasa la

materia entonces no saca buena nota y pierde la beca entonces no reprueba el

semestre y Carlos entrega los trabajos y pierde la beca entonces saca buenas notas.

 Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje simbólico:

p q r s t {[p→(qVr)]Λ(s→¬q)Λ(t→¬r)Λ(pΛt)}→q

T T T T T T
T T T T F T
T T T F T T
T T T F F T
T T F T T T
T T F T F T
T T F F T T
T T F F F T
T F T T T T
T F T T F T
T F T F T T
T F T F F T
T F F T T T
T F F T F T
T F F F T T
T F F F F T
F T T T T T
F T T T F T
F T T F T T
F T T F F T
F T F T T T
F T F T F T
F T F F T T
F T F F F T
F F T T T T
F F T T F T
 F F T F T T
F F T F F T
F F F T T T
F F F T F T
F F F F T T
F F F F F T

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

P q r s t ~q ~r (qvr) (pʌt) (s ~q) (t ~ r) [P →(qvr)] [P →(qvr)]^(S→~q) (t→ ~r)^(p^t) {[p→(qʌr)]ʌ(s→~q)^(t→~r)ʌ(pʌt)} {[p→(qʌr)]ʌ(s→~q)^(t→~r)ʌ(pʌt)}→q

V V V V V F F V V F F V F F F V
V V V V F F F V F F V V F F F V
V V V F V F F V V V F V V F F V
V V V F F F F V F V V V V F F V
V V F V V F V V V F V V F V F V
V V F V F F V V F F V V F F F V
V V F F V F V V V V V V V V V V
V V F F F F V V F V V V V F F V
V F V V V V F V V V F V V F F V
V F V V F V F V F V V V V F F V
V F V F V V F V V V F V V F F V
V F V F F V F V F V V V V F F V
V F F V V V V F V V V F F V F V
V F F V F V V F F V V F F F F V
V F F F V V V F V V V F F V F V
V F F F F V V F F V V F F F F V
F V V V V F F V F V F V F F F V
F V V V F F F V F F V V F F F V
F V V F V F F V F F F V V F F V
F V V F F F F V F V V V V F F V
F V F V V F V V F V V V F F F V
F V F V F F V V F F V V F F F V
F V F F V F V V F F V V V F F V
F V F F F F V V F V V V V F F V
F F V V V V F V F V F V V F F V
F F V V F V F V F V V V V F F V
F F V F V V F V F V F V V F F V
F F V F F V F V F V V V V F F V
F F F V V V V F F V V V V F F V
F F F V F V V F F V V V V F F V
F F F F V V V F F V V V V F F V
F F F F F V V F F V V V V F F V
 Demostración de la validez del argumento mediante las leyes de la inferencia lógica:

P1: 𝑝 → (𝑞 ∨ 𝑟)
P2: 𝑠 →∼ 𝑞
P3: 𝑡 →∼ 𝑟
P4: 𝑝 ∧ 𝑡

Conclusión: 𝑞

5. t Simp. (4)
6. p Simp. (4)
7. ~ r MPP (3), (5)
8. q ѵ r MPP (1), (6)
9. q SD (7), (8) Conclusión
 CONCLUSIONES

 Después de terminada la investigación y realizada la actividad, puedo determinar lo

importante de la aplicación de la lógica matemática en general, nos ayuda a precisarnos

en el lenguaje y ser más concretos en nuestros pensamientos

 comprender e identificar aspectos de la lógica en cuanto a proposiciones categóricas, en

general como proposiciones simples y compuestas lenguaje simbólico, también a cómo

generar tablas de verdad mediante simulador.

 Gracias a la elaboración de este trabajo pude profundizar mis conocimientos y aprender

al desarrollo de situaciones planteadas en contextos reales en cuanto a razonamiento

lógico y pensamiento que me serán de mucha ayuda a mi proceso de formación y a la

culminación con éxito en este curso.

 Referencias bibliográficas

 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

 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

 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

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

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

 Wisniewski, P. M., & Gutiérrez, B. A. L. (2011). Introducción a las matemáticas

universitarias. México: McGraw-Hill Interamericana. Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=1047
309