Tarea 2 Aplicación de cuantificadores y proposiciones categóricas

Samuel Trujillo Cerón

Grupo Colaborativo 200611_1498

Tutor
Mary Elena Ortega Gonzalez

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERA
INGENIERIA INDUSTRIAL
MEDELLIN - ANTIOQUIA
Octubre de 2020
 Introducción

Para el desarrollo de esta actividad debemos tener presente la estructura de

las proposiciones. Por lo general una proposición esta compuesta por sujeto
y predicado y siempre será afirmativa. La veracidad de la proposicion se
definirá netamente por el valor de verdad de la misma y este depende
directamente del contexto, por ejemplo en una proposicion sencilla como “El
día de hoy esta lluvioso” la veracidad de la proposición está conectada a la
situación, momento y lugar en la que es emitida la sentencia.

Empecemos por definir las dos principales partes que conforman la

estructura de una proposición. Según Roldan el predicado son las relaciones
o propiedades que definen a un sujeto en particular y el sujeto hace parte de
un conjunto de objetos.

De esta forma, la relación entre el sujeto y predicado nos va a permitir

desglosar en esta unidad los cuantificadores con los que pueden expresarse
las proposiciones para hacer referencia a la cantidad de objetos o sujetos de
un conjunto a los que se les puede aplicar la misma descripción de un
determinado predicado.

Finalmente podremos utilizar la lógicamatematica para inducir o deducir una

conclusión al analizar premisas que se relacionan entre sí.
 Objetivos

General:

Conocer los conceptos de la logica matematica en terminos de

cuantificadores para poder utilizarlos en razonamiento logico y llegar a
una conclusion.
Específicos:

Identificar los cuantificadores que se pueden utilizar en una

proposición y clasificarlas de acuerdo a estos.
Comparar tipos de proposicion categorica y definir la relación que hay
entre estas.
Argumentar el tipo de razonamiento al concluir en base a dos premisas
relacionadas.

Ejercicios

Para el desarrollo de esta actividad se realizarán los ejercicios

correspondientes a la letra C de la guia de actividades.

Ejercicio 1: Cuantificadores.

Argumento:

____________ función es una relación.

_____________ gato tiene plumas.

Argumento completo de tal forma que sea verdadero.

Toda función es una relación.

Ningún gato tiene plumas.

 Simbología del argumento.

Toda función es una relación.

Todas las funciones x, tal que x es una relación.

(∀𝑥 ∈∪) (𝑥 𝑒𝑠 una relación)

Ningún gato tiene plumas.

Todos los gatos x, tal que x es no tener plumas.

(~∀𝑥 ∈∪) (𝑥 𝑒𝑠 tiene plumas)

Tipo de cuantificador

Toda función es una relación.

Cuantificador Universal afirmativo.

Ningún gato tiene plumas.

Cuantificador Universal negativo.

Ejercicio 2: Proposiciones categóricas.

Argumento: Algunos hombres son mortales.

Identifique cuantificador y cualidad:

Cuantificador: Algunos
Cualidad: Son

Clasificación proposición categórica:

Particular afirmativo.

Clasificación proposición categórica:

Universal afirmativo: Todos los hombres son mortales.
Universal negativo: Ningún hombre es mortal.
Particular negativo: Algunos hombres no son mortales.
Ejercicio 3: Clasificación de proposiciones categóricas

Proposiciones:

p: Algunos peces no tienen escamas.

q: Todos los peces tienen escamas.

Estructura:

ESTRUCTURA
Término Cualidad o Término
Proposición Cuantificador
Sujeto Cúpula Predicado
p Algunos Peces No tienen Escamas
q Todos Peces Tienen Escamas

Tipo de Proposición categórica:

La proposición p es de tipo O (Particular negativo)

La proposición q es de tipo A (Universal afirmativa)

Esquema

Se clasifica como contradictorias.

Ejercicio 4: Razonamiento Deductivo e Inductivo.

Argumento:
Juan es disciplinado y trabajador. Su esposa Rosa es una persona
disciplinada y trabajadora. Los hijos de ambos seguramente son
disciplinados y trabajadores.
Premisas y la conclusión
Premisa 1: Juan es disciplinado y trabajador.
Premisa 2: Su esposa Rosa es una persona disciplinada y
trabajadora
Conclusión: Los hijos de ambos seguramente son disciplinados
y trabajadores.
Tipo de razonamiento: Inductivo.
Argumentación o justificación: El razonamiento es de tipo
inductivo, ya que la conclusión a la que se llegó despues de analizar
las premisas no se puede determinar totalmente ya que aunque los
padres sean disciplinados y trabajadores, los hijos son personas
totalmente distintas y la genetica no es un factor 100%
determinante en la conducta de las personas.
 Conclusiones
Se pueden utilizar cuantificadores para especificar la cantidad de sujetos
en un conjunto que son definidos por el mismo predicado.
Para un mismo argumento pueden haber 4 proposiciones categoricas que
varian según cuantificador y si son de naturaleza afirmativa o negativa.
Al clasificar las proposiciones según su cuantificador y su valor de verdad
podemos compararlas entre sí y establecer la relación en: contrarias,
subcontrarias, subalternas y contradictorias.
A partir de un argumento conformado por dos premisas veraces y una
conclusion podemos definir si se concluyó a partir de una deducción o una
inducción.
 Referencias

Roldán, I. R. (2018). Razonamiento y lenguaje matemático. (pp.70-73). El

Cid Editor, Córdoba.

Bibliografia

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. 106 - 112). Ediciones Elizcom, Madrid.
Roldán, I. R. (2018). Razonamiento y lenguaje matemático. (pp.70-73). El
Cid Editor, Córdoba.
Recuperado

https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/40414?page=72
https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/40414?page=91
https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/71192?page=109
https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36731?page=75