Unidad 3:

Clasificación de proposiciones categóricas y Métodos

para probar validez de argumentos

Presentado por:

INGRID ZULEY FLOREZ JAIMES

Presentado a:

NEVARDO ALONSO AYALA

GRUPO
200611_2228

UNIVERSIDAD ABIERTA Y A DISTANCIA (UNAD)

PENSAMIENTO LOGICO Y MATEMATICO

BUCARAMANGA

Noviembre de 2019
 INTRODUCCION
En este trabajo podemos evidenciar los tipos de proposiciones (A – E – I - O), Universal afirmativa,
Universal negativa, Particular afirmativa, Particular negativa, también a través de una serie de
razonamientos podremos identificar si estos son deductivos o inductivos.

Finalmente a través de unas expresiones simbólicas se definirá las proposiciones simples, donde estas
serán llevadas al lenguaje natural y se realizara una tabla de verdad donde demostremos la validez del
argumento.
 OBJETIVOS
 Establecer la estructura de la proposiciones categóricas según:
Cuantificado
Termino sujeto
Cualidad o cúpula
Termino predicado
 Determinar el tipo de proposición:
Universal afirmativa
Universal negativa
Particular afirmativa
Particular negativa
 Establecer si las proposiciones son: contrarias, contingencia o subcontrarias.
 Identificar si el razonamiento es deductivo o inductivo
 Definir proposiciones simples
 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural
 Generar una tabla de verdad manualmente a partir del lenguaje simbólico
 Demostración de la validez del argumento

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

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:

ESTRUCTURA

CUANTIFICADOR TÉRMINO SUJETO CUALIDAD O CÚPULA TÉRMINO PREDICADO

Todos estudiantes ganan evaluación final de curso

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

Clasificación de p: Proposición tipo “A”
Cuantificador universal y cualidad afirmativa.

ESTRUCTURA

CUANTIFICADOR TÉRMINO SUJETO CUALIDAD O CÚPULA TÉRMINO PREDICADO

Algunos estudiantes No ganan evaluación final de curso

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

Clasificación de q: Proposición tipo “O”
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.
 p

Con base en el esquema planteado p y q son contradictorias .

EJERCICIO 2: RAZONAMIENTO DEDUCTIVO E INDUCTIVO

Descripción del ejercicio:

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

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.

A partir del razonamiento que haya seleccionado, deberá dar respuesta a los siguientes ítems:
 Identificar si el razonamiento es deductivo o inductivo.
 Argumentar la respuesta con sus propias palabras.

Para el caso es un razonamiento INDUCTIVO, ya que si Sofía evidencia que cada fin de semana hay
ofertas en los libros esto induce que ella vuelva a la librería sobre estas fechas, porque esto posiblemente
le ayudara a que ahorre su dinero.

Ejercicio 3: Problemas de aplicación

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 ) ∧ ( q ∨¬ r ) ∧r ] →¬ p
Premisas:
P1: p→ ¬ q
P2: q ∨¬ r
P3: r
Conclusión: ¬p

A partir de la expresión simbólica seleccionada, el estudiante deberá:

 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: Camilo debe estudiar ingles

q: podrá practicar deportes
r: perderán el partido

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

Si Camilo debe estudiar inglés entonces no podrá practicar deportes y podrá practicar
deportes no perderán el partido y perderán el partido y camilo no debe estudiar.

 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 (En Word,
Excel o foto del desarrollo manual).

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

V V F F F V V F F F V

V F V V V F V F F F V

V F F V V V V V F F V

F V V F V F V V V V V

F V F F V V V V F V V

F F V V V F V V V V V

F F F V V V V V F V V

TAUTOLOGÍA

REFERENCIA BIBLIOGRAFICAS
 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. 78 - 99). Ediciones Elizcom, Madrid.