Tarea 3 – Clasificación de proposiciones categóricas y Métodos

para probar validez de argumentos

Liliana Rueda Monsalve

CÓDIGO: 1005384495
Grupo: 564

Luis Eduardo Hoyos

(Tutor)

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PENSAMIENTO LÓGICO MATEMÁTICO

BETULIA
FECHA: 06/10/2019
 INTRODUCCIÓN:

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.
En el siguiente trabajo se ponen de manifiesto una serie de conceptos y
temáticas desarrolladas a lo largo del curso de pensamiento lógico y
matemático, entre las cuales 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. La demostración de la validez o
no validez de un planteamiento por 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
 Identifica y reconoce la aplicación de las reglas de inferencia
 Afianza y realiza mediante el uso de las reglas de inferencia
 Analiza y describe situaciones de la vida cotidiana y toma de
decisiones acertadas
 Ejercicio 1: Proposiciones categóricas

D)
p: Todos los esposos son fieles
q: Algunos esposos son fieles
 Establecer su estructura de acuerdo con la siguiente tabla:

Cuantificador Término Sujeto Cualidad o Término

Predicado
Cúpula

Todos Los esposos Son Fieles

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

Proposición p

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

universal y cualidad afirmativa.

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

Algunos Esposos son Fieles

Proposición q
Particular afirmativa (proposiciones-I): Algunos S son P. Cuantificador
particular y cualidad afirmativa.

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

esquema, establezca si las proposiciones son contrarias, de
contingencia o subcontrarias. Requisito para este paso las
proposiciones deben tener el mismo término sujeto y predicado.

Ejercicio 2: Razonamiento Deductivo e Inductivo

Descripción del ejercicio:

D. Manejar carro es una actividad que requiere estar atento, evitar

distraerse con el celular, la pantalla del vehículo o con los pasajeros.
Por lo cual la atención debe estar enfocada en la vía, los transeúntes,
vehículos circundantes y los límites de velocidad, por ende, se puede
estipular que manejar vehículo es una actividad riesgosa.

El razonamiento es deductivo
Por qué enuncia que manejar un carro es una actividad que requiere
concentración, después incluye una segunda premisa donde menciona
los sitios en los cuales debe prestarse mayor atención para concluir
que manejar vehiculo es una actividad riesgosa.

Ejercicio 3: Problemas de aplicación

Descripción del ejercicio:

D. EXPRESIÓN SIMBÓLICA : [ ( r →¬ q ) ∧ ( ¬ q → s ) ∧ ( p ∧¬ s ) ] → ¬r
PREMISAS:
P1: r →¬ q
P2:¬ q → s
P3: p ∧¬ s

CONCLUSIÓN ¬ r

Desarrollo:

 Definir las proposiciones simples

p: Natalia estudia Licenciatura

q: Asiste a b-lerning los sábados

r: Obtiene buenas calificaciones

s: Natalia está en primer semestre

 Remplazar las variables expresadas simbólicamente y llevarlas al

lenguaje natural.

Obtiene buenas calificaciones, entonces no asiste a los B-lerning

los sábados y no asiste a los B-lerning si Natalia esta en primer
semestre y Natalia estudia licenciatura y no esta en primer
semestre, entonces no obtiene buenas calificaciones.
 Generar una tabla de verdad con el simulador Lógica UNAD a
partir del lenguaje simbólico.
 Generar una tabla de verdad manualmente a partir del lenguaje
simbólico
p q r s ~ ~ ~ r→~ ~q P [(r→~q)˄(~q→s)^( [(r→~q)˄(~q→s)^(p^~
q →s ˄~ p^~s)] s)]→~r
q r s s
V V V V F F F F V V F V
V V V F F F V F V V F V
V V F V F V F V V V V V
V V F F F V V V V V V V
v F V V V F F V V F F V
V F V F V F V V F V F V
V F F V V V F V V V V V
V F F F V V V V F V F V
F V V V F F F F V F F V
F V V F F F V F V F F V
F V F V F V F v V V V V
 F V F F F V V V V V V V
F F V V V F F V V F F V
F F V F V F V V F F F V
F F F V V V F V V V V V
F F F F V v V v F f F V
Resultado de la tabla de la verdad es una: Tautología
 Demostración de la validez del argumento mediante las leyes de la
inferencia lógica.
P1: r →¬ q

P2: ¬ q → s
P3: p ∧¬ s
C: ¬ r
P4 : ¬ r → s (P1, P2 MT)
P5:¬ q →¬ q P4 EQUIVALENTE
P6:¬ r ( P3, P4 MT)
Conclusión: ¬ r
 CONCLUCIONES:

Se puede evidenciar durante el proceso de aprendizaje y la realización de la

actividad. Se afianza conocimientos adquiridos en el desarrollo de la unidad, al dar
uso de la forma básica como: las tablas de verdad, los principios de lógica y
razonamientos lógicos; el cual nos ayuda a demostrar lo valido y no valido de las
situaciones propuestas en la guía.
En el análisis en grupo se puede dar a conocer las situaciones problemáticas
sugeridas a lo largo del desarrollo de la actividad donde podemos sacar con base
de ello un promedio de la inferencia lógicas y las leyes de inferencias planteando
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.)

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de

sistemas y computación. (pp. 78 - 99). Ediciones Elizcom, Madrid