ESCUELAS DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
PENSAMIENTO LOGICO MATEMATICOS
Proposiciones categóricas y razonamientos lógicos
ALUMNO: CHRISTIAN FABIAN POVEDA OSPINA
CODIGO DE CURSO: 200611
TUTOR: MARLO OSORIO
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
P á g i n a 1 | 13
Presentación…………………………………………………………………………….Pag.1
Tabla de Contenido……………………………………………………………….…….Pag.2
Objetivos………………………………………………………………………….…….Pag.3
Introducción…………………………………………………………………….……....Pag.4
Actividad.1…………………………………………………………………………....Pag.5 -6
Actividad.2………………………………………………………………….…….…….Pag.7
Actividad.3………………………………………………………………….…...……Pag.8 -9
Conclusión…………………………………………………………………...…...……Pag.10
Bibliografía……………………………………………………………………………Pag.11
P á g i n a 2 | 13
Objetivos Generales
Fortalecer los principios y temas adquiridos en las unidades de lógica matemática.
Objetivos específicos.
Dar uso a las formas básicas de las tablas de verdad.
Demostrar la validez o la invalidez de las situaciones problemáticas en el medio de los principios de la lógica.
Demostrar la validez o la invalidez de las situaciones problemáticas por medio de las leyes de la indiferencia lógica.
Analizar y plantear una situación grupal a la problemática sugerida en la guía.
P á g i n a 3 | 13
INTRODUCCION
El razonamiento lógico es un proceso mental en el cual interviene la aplicación de formas, métodos y principios enmarcados en la validez de algunas premisas que llevan una conclusión que puede ser identificada como verdadera o no. Esto puede convertirse en inductivo o deducible donde la conclusión presenta un grado de probabilidad determinada por su validez. En el siguiente trabajo se muestra una serie de conceptos y temáticas desarrolladas a lo largo del curso del pensamiento lógico matemático, entre las qu e se aplica la transición del lenguaje natural al lenguaje simbólico, la identificación de las premisas simples, la elaboración de las tablas de verdad, el uso de software simulador . La de mostración de la validez o no, la validez de un planeamiento por el medio de las leyes de inferencia y las formas de razonamiento (inductivo y deductivo) para proponer una formalización y resolución a las situaciones problemáticas.
P á g i n a 4 | 13
Descripción del ejercicio
A continuación, encontrará las proposiciones categóricas para el desarrollo del ejercicio 1: ESTRUCTURA
Cuantificador a)
Término Sujeto
Cualidad o Cúpula
Término Predicado
p: Algunos estudiantes de lógica son mayores que los de catedra.
q: Todos los estudiantes de lógica son mayores que los de catedra.
Cuantificador
Término Sujeto
Cualidad o Cúpula
Término Predicado
Algunos
Estudiantes
Son mayores
Catedral
Cuantificador universal
Formatted: List Paragraph, Bulleted + Level: 1 +
(P) Algunos estudiantes de lógica son mayores que los de catedral. Sujeto: números enteros
Las proposiciones contingentes, Cualidad Afirmativa
Aligned at: 0.25" + Indent at: 0.5"
son aquellas que no necesariamente son falsas ni
verdaderas.
Predicado: positivo q
Cuantificador Particular.
Formatted: List Paragraph, Bulleted + Level: 1 +
Sujeto: números enteros.
Aligned at: 0.25" + Indent at: 0.5"
Cualidad Afirmativo.
Predicado: Positivo Formatted: List Paragraph
p
Enunciados universales afirmativos ,afirmativos, los cuales representaremos con la letra A Estas confundiendo las premisas: P á g i n a 5 | 13
P es
Algunos estudiantes de lógica son mayores que los de catedra” y es de tipo I
“
Q es “Todos los estudiantes de lógica son mayores que los de catedra” y es de tipo A
En ese orden de idea te cambia el grafico, por favor revisa q: Todos los estudiantes de lógica son mayores que los de catedra.
Cuantificador
Término Sujeto
Cualidad o Cúpula
Término Predicado
Todos
Los Estudiantes
Son mayores
Catedral
Las proposiciones contingentes,
son aquellas que no necesariamente son falsas ni
verdaderas.
p
Formatted: Left
q
Enunciados particulares afirmativos, los cuales representaremos con la letra I
P á g i n a 6 | 13
Formatted: Centered
Descripción del ejercicio:
A continuación, encontrará una serie de razonamientos para el desarrollo del ejercicio 2:
a.
Según las instrucciones del recetario los cupcakes se deben hornear durante un a hora. El pastelero Juan introduce al horno los cupcakes a las diez de la mañana, por lo tanto, los cupcakes estarán listos a las once de la mañana.
Argumentación: El razonamiento deductivo, debido a que Juan hace uso de las instrucciones del recetario de cupcakes, en el párrafo dice que lo entro a las10 am y estuvo listo a las 11 am ósea Juan hizo el paso a paso de las instrucciones del recetario y los cupcakes están listos en una hora De acuerdo
P á g i n a 7 | 13
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: Expresión simbólica: [( ∧ ) ∧ ( → )] ⟶ ( ∧ ) Premisas: P1: ∧ P2: →
Conclusión: ∧
p: Si voy en carro q: Si aumentaumentor la velocidad velocidad para esta proposición no es muy claro si le puede asignar un valor de verdad. Es decir decir que es falso o verdadero. Es diferente decir “Aumento la velocidad” a la cual si le puede asignar un valor de verdad r: llego temprano a la unad Lenguaje natural de la exposición formal p ∧ q: Si voy en carro y aumento la velocidad
P á g i n a 8 | 13
p → q Si voy en carro entonces llego temprano a la Universidad
Lenguaje Natural
Si voy en carro y no aumento la velocidad, entonces no llego temprano a la Unad, por lo tanto no llego temprano por no aumentar la velocidad en el carro... las negaciones no caben en esta proposiiones si ve la expresión simbolica no hay negaciones
Commented [MOG1]: De donde sale? Commented [WU2R1]:
El argumento es contingencia.
CorrectoP q
(p∧q)
(p→ )
( ∧ ) ∧ ( → )
( ∧ )
( ∧ ) ∧ ( → )] ⟶ ( ∧ )
V V F F F F F F
V F V F V V V v
V F F F F F F F
V F F F V F F f
V V V V V V V V
r
V V V V V F V F F V F V F F F F Correcto
V F V F V F V F
Formatted: Justified
P á g i n a 9 | 13
Si voy en carro y no aumento la velocidad, entonces no llego temprano a la Unad, por lo tanto no llego temprano por no aumentar la velocidad en el carro. Planteamiento P: Si voy en carro y aumento la velocidad Q: Si voy en carro por tanto llego temprano a la unad R: Llego temprano a la unad si voy en carro PREMISAS
P1. ( ∧ ) si voy en carro y aumento la velocidad, llego temprano a la unad P2. ( → ) si voy en carro por tanto llego temprano a la unas, llego temprano a la unad si voy en carro P3ConclusionConclusión ( ∧ ) llego temprano a la unad si voy en carro, si voy en carro llego temprano la unad
Razonamiento de inferencia Razonamiento
( ∧ ) ( → ) ( ∧ )
→ ∧
Justificación Premisa Premisa SH 2y 1 MPP 3 y 2
• Premisas Premisas remisas
P á g i n a 10 | 13
Commented [MOG3]: Revisar inclusión de negaciones
CONCLUSION
Reforzamos los conocimientos adquiridos en el anterior Unidad a dar Uso a las formas básicas de las tablas de verdad, los principios de Lógica y los razonamientos lógicos para demostrar la validez de las situaciones o problemáticas propuestas. Analizamos en grupo la situación problemática sugerida en la guía pro medio de la inferencia lógica y las leyes de inferencia planteado una solución.
P á g i n a 11 | 13
Bibliografía
Proposiciones categóricas
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=456 9631&tm=1529336365580 Leyes de Inferencia
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación . (pp. 78 - 99). Ediciones Elizcom, Madrid. Recuperado P á g i n a 12 | 13
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=81&docID=319 9701&tm=1529336485971
P á g i n a 13 | 13
