Unidad 3: Tarea 3 – Proposiciones categóricas y razonamientos lógicos

Estudiante

WILL ALEXANDER COLEY MONCADA

Grupo: 200611_185

Docente

JUAN CARLOS GUERRERO

Curso

200611 – PENSAMIETO LOGICO MATEMATICO

Universidad Nacional Abierta y a Distancia UNAD

Ingeniería Electrónica

2019
 Introducción

En esta sección trabajamos con proposiciones categóricas, que son aquéllas que
hacen afirmaciones incondicionales. Estas proposiciones están clasificadas de acuerdo
a su cantidad y calidad. En cuanto a su cantidad pueden ser universales, particulares o
singulares. En cuanto a su calidad pueden ser afirmativas o negativas, también
veremos las diferentes leyes de inferencia y tipo de razonamiento.
 Objetivos

 Comprender y aplicar correctamente las leyes de inferencia.

 Comprender la aplicación de las reglas de inferencia para la demostración de
soluciones.
 Conocer y aplicar los conceptos de lógica proposicional.
 Analizar las premisas que integran un problema, para diseñar la estrategia de
solución, aplicando las reglas de inferencia para llegar a la demostración
solicitada.
 Desarrollar la capacidad de razonar de modo lógico y matemático
Ejercicio 1: Proposiciones categóricas

Proposiciones categóricas:

p: Todos los estudiantes ganan el curso

q: Algunos estudiantes no ganan el curso

 Definición de la estructura de la proposición categórica

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

Predicado

Todos Estudiantes Ganan Curso

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

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

Universal afirmativa. Cuantificador universal y cualidad afirmativa.

Definición de la estructura de la proposición categórica

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

Algunos Estudiantes No ganan Curso

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

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

Particular Negativo. Cuantificador particular y cualidad negativa.

 Establecer si las proposiciones son contrarias, de contingencia o

subcontrarias.
 P
p

De acuerdo al esquema propuesta p y q son: Contrarias.

Ejercicio 2: Razonamiento Deductivo e Inductivo

Argumento:

A) Hace un tiempo, Juan, Miguel y Alejandro que son amigos, le prestaron dinero a
José, él no les pagó; ahora nuevamente José le pide a Miguel que le haga un
préstamo, inmediatamente Miguel asume que no le va pagar ese dinero.
Desarrollo:
Miguel aplica un razonamiento inductivo
Tanto el razonamiento inductivo como el deductivo son estrategias de razonamiento
lógico, el primero utiliza premisas particulares para llegar a una conclusión general, y el
segundo usa principios generales para llegar a una conclusión específica.
Miguel asume que José no va a pagar el préstamo por un razonamiento inductivo,
partió de premisas particulares como fue que anteriormente no pago.

Ejercicio 3: Problemas de aplicación

Expresión simbólica:

[(𝑟 → ¬𝑞) ∧ (𝑝 ∨ 𝑠) ∧ (𝑞 ∧ 𝑝)] →¬r

Determinación de Premisas: (De acuerdo a la expresión simbólica divida el

argumento en premisas de forma vertical y deben ser numeradas)

P1: (𝑟 → ¬𝑞)

P2: (𝑝 ∨ 𝑠)

P3: (𝑞 ∧ 𝑝)

Conclusión: (¬r)

Desarrollo:

 Proposiciones simples: (se define cada proposición simple del argumento,

siempre en afirmativo y con letras en minúscula).

p: Laura no se aprendió las formulas

q: Laura no perdió el parcial

r: Laura reprobó la materia

s: Laura hizo trampa

Razonamiento en lenguaje natural: (A partir de las proposiciones simples anteriores

y el lenguaje simbólico dado en el ejercicio, se construye la expresión en lenguaje
formal o natural)

Laura reprobó la materia entonces perdió el parcial y no se aprendió las formulas o

hizo trampa y no perdió el parcial y no se aprendió las formulas. Entonces Laura no
reprobó la materia.
  Generar la tabla de verdad manualmente: recuerde que aparte de las columnas
de las proposiciones simples, debe haber tantas columnas como operadores
lógicos hay en el lenguaje simbólico.

 Resultado de la tabla de verdad: TAUTOLOGÍA

  Generar la tabla de verdad con el simulador Lógica UNAD

Leyes de inferencia: (Mediante la aplicación de las leyes de inferencia, demuestre la

validez del argumento, recuerde que para aplicar leyes de inferencia debe haber
obtenido como resultado una tautología en la tabla de verdad)

P1: (𝑟 → ¬𝑞)
P2: (𝑝 ∨ 𝑠)
P3: (𝑞 ∧ 𝑝)
Conclusión: (¬r)

P4: [(𝑟 → ¬𝑞) ∧ 𝑞] ∧ 𝑝 Asociativa P1 y P3

P5: (¬ 𝑟 ∧ 𝑝) MTT P4
P6: ¬ 𝑟 Simplificación (P5)

Conclusión

Esta actividad podemos aprender a destacar las leyes de inferencia y sus aplicaciones,
los procesos de razonamiento lógico que permiten el planteamiento el análisis y la
solución de los problemas.
 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
 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
 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=10473069