PENSAMIENTO LOGICO Y MATEMATICO

TAREA 3 - CLASIFICACIÓN DE PROPOSICIONES CATEGÓRICAS Y

MÉTODOS PARA PROBAR VALIDEZ DE ARGUMENTOS

Estudiante:
Noralba Bello Sánchez
Grupo: 200611_184

Tutor
Ciro Efraín Martínez Báez

UNIVERSIDAD ABIERTA Y A DISTANCIA – UNAD

Escuela de Ciencias Básicas Tecnología e Ingeniería (ECBT)
Bogotá D.C. Abril de 2019
 INTRODUCCIÓN

La lógica matemática nos ayuda a pensar y entender lo que nos rodea para resolver
problemas, por lo tanto, el siguiente trabajo se realiza con el fin de comprender la
clasificación de proposiciones categóricas, métodos para probar validez de argumentos y su
aplicación con diferentes ejercicios, por medio de definiciones y ejemplos basando los
conocimientos en el material de trabajo compartido en el entorno de aprendizaje practico,
siendo esto las bases para su desarrollo.
 OBJETIVOS

Objetivo general
Comprender e interpretar problemas debidamente contextualizados y aplicar
adecuadamente los métodos para demostrar la validez de argumentos, mediante la
aplicación correcta de las reglas de inferencia lógica.

Objetivos específicos
• Identificar y clasificar simples y compuestas.
• Desarrollar ejercicios con proposiciones categóricas, proposiciones contrarias de
contingencia y subcontrarias.
• Aplicar y desarrollar tablas de verdad y argumentos lógicos
 Ejercicio 1: Proposiciones categóricas

Literal A
p: Todos los estudiantes ganan el curso
q: Algunos estudiantes no ganan el curso

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
Enunciado Cuantificador Término Sujeto Cualidad o Cúpula Término Predicado

p Todos Estudiantes Ganan Curso

q Algunos Estudiantes No ganan Curso

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

La proposición q es contradictoria de p
 Ejercicio 2: Razonamiento Deductivo e Inductivo

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 a pagar ese dinero.

• Identificar si el razonamiento es deductivo o inductivo

• Argumentar la respuesta con sus propias palabras.

El razonamiento es inductivo, ya que a raíz de la experiencia de Juan, Miguel y

Alejandro se obtiene la conclusión de que José no pagara el dinero prestado que le está
solicitando a Miguel.

Ejercicio 3: Problemas de aplicación

A. Expresión simbólica: [(r→¬q)∧(p ∨ s)∧(q∧ p)]→¬r

• Premisas:
P1: (r→¬q)
P2:(p ∨ s)
P3: (q∧ p)
Conclusión: ¬r

• Proposiciones simples.
p: Tengo clases de lógica matemática
q: Estudio ingeniería industrial
r: Estudio ciencias naturales
s: Tengo clases de biología
 • Razonamiento en lenguaje natural

Si Estudio ciencias naturales entonces no Estudio ingeniería industrial. Tengo clases de

lógica matemática o Tengo clases de biología. Estudio ingeniería industrial y Tengo
clases de lógica matemática. Entonces no Estudio ciencias naturales.

• Tabla de verdad manualmente

p q r s ¬q ¬r (r→¬q) (p ∨ s) (r→¬q)∧(p ∨ s) (q∧ p) (r→¬q)∧(p ∨ s)∧(q∧ p) [(r→¬q)∧(p ∨ s)∧(q∧ p)]→¬r

v v v v f f f v f v f v
v v v f f f f v f v f v
v v f v f v v v v v v v
v v f f f v v v v v v v
v f v v v f v v v f f v
v f v f v f v v v f f v
v f f v v v v v v f f v
v f f f v v v v v f f v
f v v v f f f v f f f v
f v v f f f f f f f f v
f v f v f v v v v f f v
f v f f f v v f f f f v
f f v v v f v v v f f v
f f v f v f v f f f f v
f f f v v v v v v f f v
f f f f v v v f f f f v

Resultado de la tabla de verdad: Tautología, ya que su expresión lógica es verdadera.

 • Tabla de verdad con el simulador Lógica UNAD

• Leyes de inferencia

P1: (r→¬q)
P2:(p ∨ s)
P3: (q∧ p)
_____________
Conclusión: ¬r

P4: q S.3
P5: ¬r MPP 1 y 4
 CONCLUSIONES

Por medio del trabajo realizado se logra comprender y apropiase de los temas de la
unidad propuesta por el tutor, ya que con el desarrollo de ejercicios se retiene de una
mejor forma el conocimiento, ampliando la visión de lo que es la lógica matemática en
la cotidianidad y como se encuentra presente en cada opción que tenemos.
Gracias al conocimiento adquirido en el desarrollo de los ejercicios se refuerzan las
bases de la materia para poder continuar con mayor facilidad y fluidez.
 BIBLIOGRAFÍA

Cortez Orozco, J. M. (2017). Lógica matemática - Leyes de inferencia. YouTube.

Gomez, C. C. (2018). RAZONAMIENTO INDUCTIVO Y DEDUCTIVO. YouTube.
Martinez, J. A. (2018). Explicación de proposición compuesta con 5 proposiciones
primitivas. YouTube.