PENSAMIENTO LÓGICO MATEMÁTICO

TAREA 3 - CLASIFICACIÓN DE PROPOSICIONES CATEGÓRICAS Y MÉTODOS

PARA PROBAR VALIDEZ DE ARGUMENTOS

ERIKA JASSMIN SANCHEZ SANCHEZ

GRUPO: 200611_260

TUTOR
ALBERTO LOPEZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

UNAD
06-noviembre -2019
Introducción

La intención de este trabajo es que el alumno desarrolle habilidades, examine, interprete la lógica
de los diferentes puntos, conocer y manejar cuantificadores para poder serlos explícito en una
presentación clara, entender proposiciones y manejar una tabla de verdad, se resuelve y se
identifica la proposición compuesta que puede ser, contradicción, contingencia o tautología. Se
realiza y comprende la demostración de la validez mediante las leyes de la inferencia lógica.

Objetivos

• Este trabajo busca que el estudiante conozca y aplique los conceptos de lógica proposicional.
• Extender el interés por las matemáticas y el pensamiento lógico matemático a través de
actividades motivadoras para el universitario, con un contenido visual y útil.
• Realizar y manejar las tablas de verdad.
• Comprender la Demostración de la validez del argumento mediante las leyes de la inferencia
lógica.
Ejercicio 1: Proposiciones categóricas

Para el desarrollo de este ejercicio, es necesario que el estudiante revise en el Entorno de

Conocimiento (Unidad 3), una vez realizada la lectura, desarrolle el ejercicio propuesto.

Descripción del ejercicio

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

C).

p: Todos los pacientes se toman sus medicamentos

q: Algunos pacientes no se toman sus medicamentos

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:

p: Todos los pacientes se toman sus medicamentos

ESTRUCTURA

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

Todos Los pacientes Se toman sus medicamentos

 Clasificación de p: Proposición tipo “A”.

 Universal afirmativa. Cuantificador universal y cualidad afirmativa.
q: Algunos pacientes no se toman sus medicamentos

ESTRUCTURA

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

Algunos Pacientes No se toman sus medicamentos

 Clasificación de q: Proposición tipo “O”.

 Particular negativa. Cuantificador particular y cualidad negativa

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

De acuerdo al esquema propuesta p y q son contradictorias.

Ejercicio 2: Razonamiento Deductivo e Inductivo

Para el desarrollo de este ejercicio, es necesario que el estudiante revise en el Entorno de

Conocimiento (Unidad 3), una vez realizada la lectura, desarrolle el ejercicio propuesto.

Descripción del ejercicio:

A continuación, encontrará una serie de razonamientos para el desarrollo del ejercicio 2:

A. Gabriela dice que la arquitectura es el estudio del arte de habitar un espacio, por
ende, considera que se debe definir de acuerdo con el entorno, el clima, optimizando
el área a construir, dándole utilidad a cada metro cuadrado y con el propósito de
modernizar de una manera sobria la zona en la que el proyecto arquitectónico será
ejecutado.

A partir del razonamiento que haya seleccionado, deberá dar respuesta a los siguientes ítems:

Desarrollo
Argumentación: El razonamiento utilizado es el deductivo, ya que Gabriela define de forma
general qué es la arquitectura y posteriormente explica y desglosa paso a paso lo que se debe
tener en cuenta para que la arquitectura sea el estudio del arte de habitar en un espacio.
Ejercicio 3: Problemas de aplicación

Para el desarrollo de este ejercicio, es necesario que el estudiante revise en el Entorno de

Conocimiento (Unidad 3),

Una vez realizada la lectura, desarrolle el ejercicio propuesto.

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: [( p ∨(q ∧r )) ∧¬ ( q ∧r ) ∧ ( p → s )]→ s

Premisas
P1: p ∨(q ∧r )
P2: ¬ ( q ∧r )
P3: p → s

Conclusión: s

Desarrollo:

 Proposiciones simples:

p: María ve psicobiología

q: María ve historia de la psicología

r: María ve epistemología

s: estudia la carrera psicología

  Razonamiento en lenguaje natural:
[( p ∨(q ∧r )) ∧¬ ( q ∧r ) ∧ ( p → s )]→ s
María ve psicobiología o ve historia de la psicología y ve epistemología Y no es cierto que ve
historia de la psicología y ve epistemología y María ve psicobiología entonces estudia la carrera
de psicología. Entonces estudia la carrera de psicologia

Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico.
Generar la tabla de verdad manualmente:

Resultado de la tabla de verdad: TAUTOLOGÍA

 Demostración de la validez del argumento mediante las leyes de la inferencia lógica

P1: pv (q˄r)
P2: ¬ (q˄r)
P3: p→s
P4: p Modus Tollendo ponens entre p1 y p2
P5: s Modus Tollendo ponens entre p3 y p4
Conclusiones

Se comprende y aprender los diferentes argumentos propuestos y lograr establecer los diferentes
ítems como definir las proposiciones simples del argumento, definir la expresión del argumento
en lenguaje simbólico o formal, generar una tabla de verdad manualmente y con el simulador a
partir del lenguaje simbólico y determinar si el resultado es una tautología, contingencia o
contradicción, se logra demostrar la validez del argumento planteado mediante las leyes de la
inferencia lógica.

Bibliografías

Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal, MÉXICO: Grupo
Editorial Patria. (pp. 61- 65) Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=72&docID=4569631&tm=1529336365580

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp. 78 -

99). Ediciones Elizcom, Madrid. Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=81&docID=3199701&tm=1529336485971

Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal, MÉXICO:
Grupo Editorial Patria. (pp. 80 - 84) Recuperado de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=91&docID=4569631&tm=1529513879802

Castaño, G. (2017). Leyes de inferencia, [Video]. Recuperado

de http://hdl.handle.net/10596/13869