PENSAMIENTO LÓGICO MATEMÁTICO

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

PARA PROBAR VALIDEZ DE ARGUMENTOS

Estudiante

Erika Alexandra Riascos Ortega

Grupo No. 200611_472

Tutor

Marlon Osorio

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

CEAD PALMIRA ZONA CENTRO SUR

Abril 11 2020
 Introducción

En el siguiente trabajo encontraremos el desarrollo de ejercicios mediante las proposiciones

categóricas se logra conseguir una estructura con diferentes ítems los cuales ayudan a establecer

qué tipo de proposición es de acuerdo a lo planteado en la guía, además de determinar si la

proposición es contraria, de contingencia o subcontraria, luego a partir de un problema planteado

se determina si el razonamiento es deductivo o inductivo; Por último se realiza un ejercicio de

aplicación en donde por medio de las premisas dadas, resolvemos varios puntos, tablas de verdad

y se logra demostrar la validez del argumento mediante las leyes de la inferencia lógica.

Objetivos

 Entender los conceptos a aplicar para garantizar el desarrollo idóneo de los ejercicios

planteados por la guía de actividades.

 Determinar el tipo de proposición mediante la estructura que se obtenga a partir del

problema planteado por la guía de actividades.

 Establecer si la proposición dada, es inductiva o deductiva.

 Demostrar la validez del argumento mediante las leyes de inferencia lógica.

 Ejercicio 1: Proposiciones categóricas

p: Todos los médicos son especialistas

q: Algunos médicos no son especialistas

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:

ESTRUCTURA

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

Todos Médicos son especialistas

Q:

ESTRUCTURA

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

Algunos Médicos No son especialistas

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

 La preposición p se clasifica como (proposiciones-A) universal afirmativa.

 La preposición q se clasifica como (proposiciones-O) Particular 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 a la determinación anterior y teniendo en cuenta el esquema las preposiciones

obtenidas son contradictorias.

Ejercicio 2: Razonamiento Deductivo e Inductivo

Según estudios médicos las personas con altas dosis de sodio en su cuerpo sufren de

hipertensión. A Ángela le gusta condimentar sus alimentos con mucha sal, los médicos han

diagnosticado que Ángela sufrirá de hipertensión.

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

Identificar si el razonamiento es deductivo o inductivo.

El razonamiento es deductivo.

Argumentar la respuesta con sus propias palabras.

El razonamiento es deductivo ya que su conclusión se apoya directamente de las premisas, por lo

tanto las premisas son verdaderas según los estudios médicos por lo cual la conclusión es

verdadera, Ángela sufrirá de hipertensión si sigue consumiendo altas dosis de sodio (en su caso

la sal).

Ejercicio 3: Problemas de aplicación

Expresión simbólica: [ ( p → q ) ∧ ( p ∨ s ) ∧ ( ¬ s ∧¬ q )]→ q

Premisas:

P1: ( p →q )

P2:( p ∨s )

P3: ( ¬ s ∧¬ q )

Conclusión: q

Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción basada en

un contexto, el que se solicita es un contexto académico:

P: Erika cursa proyecto de ingeniería

Q: La Unad es una universidad a distancia

S: La universidad ofrece programas de pregrado

Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las

proposiciones simples deben ser de autoría de cada estudiante, por lo que de encontrar

proposiciones iguales entre estudiantes se considerara como copia y se tomaran las medidas

correctivas estipuladas por la UNAD.

Si Erika cursa proyecto de ingeniería entonces la Unad es una universidad a distancia. Erika

cursa proyecto de ingeniería o la universidad ofrece programas de pregrado. La universidad no

ofrece programas de pregrado y la unad no es una universidad a distancia. Por lo tanto la Unad es

una universidad a distancia.

Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje simbólico (El

estudiante encontrará la Guía para el uso de recursos educativos Simulador Lógica UNAD, en el

Entorno de Aprendizaje Práctico, así como el link de acceso al recurso)

Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel o foto

del desarrollo manual).

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

P1: ( p →q )

P2:( p ∨s )

P3: ( ¬ s ∧¬ q )

Conclusión: q

P4: ( ¬ s ∧¬ q )
∴ ¬s
Regla de simplificación con Premisa3
P5:( p ∨s ) = (s ∨ p)
Leyes conmutativa – premisa 2
P6: (s ∨ p)
¬s
∴p
Regla de Silogismo disyuntivo con premisas 4 y 5
P7:( p →q )
p
∴q
Regla de modus ponens con premisas 1 y 6

Conclusión: q

Conclusiones

 Se determina las proposiciones según su tipo, y se comprende la definición para lograr

descifrar que las proposiciones son contradictorias según el esquema planteado.

 Se deduce que el razonamiento obtenido es deductivo ya que su conclusión se apoya

directamente de las premisas.

  Se demuestra que el argumento es válido ya que se logra concluir mediante las leyes de

inferencia lógica concluyendo lo planteado por las premisas.

Referencias bibliográficas

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://ebookcentral-proquest-

com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=4569631&ppg=72

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://ebookcentral-proquest-

com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3199701&ppg=81

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://ebookcentral-proquest-

com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=4569631&ppg=91

Castaño, C. (2019). Leyes de la inferencia. Recuperado de:

https://repository.unad.edu.co/handle/10596/31590