ESCUELA DE CIENCIAS SOCIALES, ARTES Y HUMANIDADES

PENSAMIENTO M ATEMATICO LOGICO

ACTIVIDAD INDIVIDUAL

PRESENTADO A:

LAURA DANIELA MARROQUIN

TUTORA

PRESENTADO POR:

KARIN MURILLO LOZANO

UNIVERSIDAD NACIONAL ABIERTA Y/A DISTANCIA

UNAD
 INTRODUCCIÓN

Este trabajo corresponde a la tercera unidad de razonamientos lógicos, inferencia

lógica y argumentos lógicos (inductivos y deductivo ) del curso Pensamiento
Lógico y Matemático de la UNAD el cual cada estudiante desarrolla las
actividades planteadas dando a conocer las respuestas positivas al aprendizaje
adquirido de la unidad, 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 a una conclusión que puede identificarse como
verdadera o no. Este puede convertirse en inductivo o deductivo donde la
conclusión presenta un grado de probabilidad determinado por su validez.
Objetivos.

Aprender la simbolización de la inferencia lógica

Resolver los ejercicios planteados aplicando las inferencias lógicas
Determinar la validez de un argumento
DESARROLLO

P: Todos los abogados son muy profesionales

q: Algunos abogados no son muy profesionales

Clasificación
ESTRUCTURA
de
Término Cualidad Término
Cuantificador
Sujeto o Cúpula Predicado
P
Muy
Todos Abogados Son
profesionales
Proposición
A
tipo
Universal afirmativa. Cuantificador universal y cualidad afirmativa.

Universal negativa (proposiciones-E): Ningún S es P o Todo S no es P.

Cuantificador universal negativo o Cuantificador universal y cualidad negativa
Clasificación
ESTRUCTURA
de
Término Cualidad Término
Cuantificador
q Sujeto o Cúpula Predicado
Algunos Abogados No son Profesionales
Proposición
o
tipo

Universal negativa (Cuantificador universal negativo o Cuantificador

universal y cualidad negativa
 TIPO DE PROPOSICIÓN

P: Universal afirmativa = A

q: Particular negativa= E

DETERMINACIÓN DE PROPOSICIONES
Universales + A -E
p q CONTRADICTORIAS
 Ejercicio 2
ARGUMENTO
e).
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.

SOLUCIÓN
Es un razonamiento inductivo: porque Los estudiantes de la universidades a
distancia por lo general utilizan los medios de información porque les permite
establecer un vínculo de unión entre intuición, observación ,experimentación
,análisis y comparación.
 Ejercicio 3: Problemas de aplicación

e. Expresión simbólica: [(𝑝 ⟶ 𝑞) ∧ (∼ 𝑟 ⟶ 𝑠) ∧ (𝑝 ∨∼ 𝑟)] ⟶ (𝑞 ∨ 𝑠)

Premisas:

P1: (𝑝 ⟶ 𝑞)
P2: (∼ 𝑟 ⟶ 𝑠)
P3: (𝑝 ∨∼ 𝑟)

Conclusión: (𝑞 ∨ 𝑠)

Desarrollo:

 Proposiciones simples:

P: Gabriel estudia en la UNAD

Q: La Unad es una universidad pública

R: La unad da la carrera que Gabriel necesita de manera no gratuita

S: Gabriel estudia lo que quiere

 Razonamiento en lenguaje natural:

Si Gabriel estudia en la Unad, entonces la Unad es una universidad pública, o la Unad da la carrera
que Gabriel necesita. Si la unad da la carrera que Gabriel necesita de manera no gratuita, entonces
no estudia Gabriel lo que quiere. Si Gabriel n estudia en la Unad, y estudia lo que quiere

(𝑟 → (𝑝 ∨ (𝑞 ∧ B^C H -> E
P Q R s ¬𝑞 ¬r G^D
¬𝑞) 𝑠) 𝑝)
V V V V F F F V V F F F
V V V F F F F V V V F F
V V F V F V V V V F F F
V V F F F V V V V V F F
V F V V V F V V F F V F
V F V F V F V V F F F F
V F F V V V V V F F F F
V F F F V V V V F F F F
F V V V F F F V F V F F
F V V F F F F F F V F F
F V F V F V V V F V F F
F V F F F V V F F V F F
F F V V V F V V F V F F
F F V F V F V F F V F F
F F F V V V V V F V F F
F F F F V V V F F V F F
Resultado de la tabla de
verdad

P Q R S H -> E
T T T F F
T T F F F
T T T T F
T T F T F
T F T F F
T F F F F
T F T F F
T F F T F
F T T T F
F T F F F
F T T F F
F T F T F
F F T T F
F F F F F
F F T F F
F F F T F

La proposición compuesta es falsa

 Conclusión

Con esta actividad me dio unos conocimientos adquiridos en la unidad de la forma básica de las
tablas de verdad, los principios de lógica y los razonamientos lógicos para demostrar la validez o
no validez de las situaciones problemáticas propuestas. Donde se logra plantear solución.
Bibliografía

Unidad 3 validez de razonamiento lógico y leyes de inferencia