Anda di halaman 1dari 9

Clasificación de proposiciones categóricas y Métodos para probar validez de

argumentos

Unidad 3

Estudiante: Wilmar Armando Buñays

Grupo: 200611_614

Tutor: Jhon Freddy Ruano

Universidad Nacional Abierta y a Distancia – Unad

Noviembre de 2019
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 de mostració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.
Ejercicio 1: Proposiciones categóricas

Descripción del ejercicio

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


desarrollo del ejercicio 1:
A).

p: Todos los estudiantes ganan la evaluación final de curso

q: Algunos estudiantes no ganan la evaluación final de 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 Evaluación final

 Determine 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 Término


Cúpula Predicado

Algunos Estudiantes no ganan Evaluación final


 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.

De acuerdo al esquema propuesta p y q son contradictorias.


Ejercicio 2: Razonamiento Deductivo e Inductivo

A. La librería a la que frecuentemente va Sofía tiene el último fin de


semana de cada mes promociones; por lo que decide que a partir
del próximo mes irá el último fin de semana a comprar los libros
que tanto le gustan, ahorrando así una cantidad importante de
dinero.
 Identificar si el razonamiento es deductivo o inductivo.

El razonamiento es de tipo Inductivo

Si ella ve que cada fin de semana de cada mes hay ofertas. Y así se repite
entonces esos serían los casos particulares. Y ya cuando se da cuenta de
que "siempre" hay ofertas en el fin de mes, se hace un caso general. Va
de lo particular a lo general o sea razonamiento inductivo.
Descripción del ejercicio

A continuación, encontrará la expresión simbólica, las premisas y la


conclusión de un argumento para el desarrollo del ejercicio 3:

A. Expresión simbólica: [(𝑝 → ¬𝑞) ∧ (𝑞 ∨ ¬𝑟) ∧ 𝑟] → ¬𝑝

Premisas:
P1: 𝑝 → ¬𝑞
P2: 𝑞 ∨ ¬𝑟
P3: 𝑟
Conclusión: ¬𝑝

Proposiciones simples:

p: Fernando estudia Medicina

q: Fernando estudia literatura inglesa

r: Fernando escribirá poemas

Razonamiento en lenguaje natural:

Si Fernando estudia Medicina entonces no estudia literatura inglesa. Y


si Fernando estudia literatura inglesa o no escribirá poemas. Y Fernando
escribirá poemas. Entonces no estudia medicina.
Generar la tabla de verdad con el simulador Lógica UNAD

Generar la tabla de verdad manualmente:

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


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

 Resultado de la tabla de verdad: TAUTOLOGÍA


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 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.