PENSAMIENTO LÓGICO Y MATEMÁTICO

CLASIFICACIÓN DE PROPOSICIONES CATEGÓRICAS Y MÉTODOS PARA

PROBAR VALIDEZ DE ARGUMENTOS

JUDITH DEL PILAR LAURENS GONZALEZ

CÓDIGO: 37843365
No. DE GRUPO:
200611_219

NOMBRE TUTOR
FRANCISCO JAVIER REYES

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

JUNIO DE 2020
 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
que 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 demostració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.
 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.
Descripción del ejercicio

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

ejercicio 1:
1. Ejercicios E

p: Todos los quesos son duros.

q: Algunos quesos no son duros.
ESTRUCTURA

Proposición Cuantificador Termino sujeto Cualidad o Termino o

cúpula predicado
p Todos quesos son duros

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

 Universal afirmativa (proposiciones-A): Todo S es P. Cuantificador

universal y cualidad afirmativa.

ESTRUCTURA

Proposición Cuantificador Termino sujeto Cualidad o Termino o

cúpula predicado
q Algunos quesos No son duros

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

  Particular negativo (proposiciones-O): Algunos S no son P. Cuantificador
particular y cualidad negativa.

 De acuerdo con la determinación anterior y teniendo el siguiente

esquema, establezca si las proposiciones son contrarias, de
contingencia o subcontrarias.

 De acuerdo con el esquema propuesto p y q son CONTRADICTORIAS.

Ejercicio 2: Razonamiento Deductivo e Inductivo

EJERCICIO E

E. Cuando Julián maneja auto evita distraerse con pantallas ya que puede
ocasionar un accidente de tránsito, Julián distribuye encomiendas en el carro de la
empresa todo el día, además manejar carro es una actividad que requiere estar
atento y evitar distraerse con pantallas. Por lo cual si manejas el carro de la
empresa debes estar atento y no distraerse con aparatos electrónicos.
A partir del razonamiento que haya seleccionado, deberá dar respuesta a los
siguientes ítems:

• Identificar si el razonamiento es deductivo o inductivo.

Es un razonamiento INDUCTIVO

• Argumentar la respuesta con sus propias palabras.

Julián distribuye encomiendas en el carro de la empresa todo el día, cuando Julián

maneja el auto evita distraerse con pantallas ya que puede ocasionar accidentes
de tránsito, además manejar es actividad que requiere estar atento y no distraerse
con aparatos electrónicos.

Ejercicio 3: Problemas de aplicación

EJERCICIO E

A. Expresión simbólica: : {[ p → ( q ∧r ) ]∧ ( q ∧r ) }→ p

Premisas:
P1: p → ( q ∧ r )
P2:( q ∧ r )

Conclusión: p
Desarrollo:

 Proposiciones simples

p: participo en las conferencias

q: obtendré puntos en la materia
r: pasar la materia

Si participo en las conferencias entonces obtendré puntos en la materia. No

obtendré puntos en la materia y no pasare la materia. Por lo tanto, no participo en
las conferencias para no tener puntos

Tabla manual

p q r ((p→~(q∧r))∧(q∧r))→~p

v v v v

v v f v

v f v v

v f f v

f v v v

f v f v

f f v v

f f f v
 Resultado de la tabla de verdad: TAUTOLOGÍA

 tabla de verdad con el simulador Lógica UNAD

leyes de inferencia
P1: (p~q∧r)
P2: (q∧r)

Conclusión ~p
P3: (~p)
Contraria (2)
 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.
 REFERENCIAS BIBLIOGRAFICAS

 Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito

Federal, MÉXICO: Grupo Editorial Patria. (pp. 61-65.)

 Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito

Federal, MÉXICO: Grupo Editorial Patria. (pp. 80 - 84)
 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
computación. (pp. 78 - 99). Ediciones Elizcom, Madrid.