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

de argumentos

Anggi Magali González botia

Tutor
Nubia stella salzar

Grupo:200611_99

Universidad nacional abierta y a distancia

23 de julio de 2019
Clasificación de proposiciones categóricas y Métodos para probar
validez de argumentos

Ejercicio 1: Proposiciones categóricas

Proposiciones categóricas:

p: Todos los animales son carnívoros

q: algunos animales son carnívoros

 Definición de la estructura de la proposición categórica

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

Predicado

Todos Animales son carnívoros

 Determinar 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 Animales son carnívoros

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

Clasificación de q: Proposición tipo “I”.

Universal afirmativa, cuantificador universal y cualidad

afirmativa

 Establecer si las proposiciones son contrarias, de contingencia o

subcontrarias.

De acuerdo al esquema propuesta p y q son sub-alternas

Ejercicio 2: Razonamiento Deductivo e Inductivo

Argumento: los estudiantes de la UNAD utilizan los medios digitales

para estudiar, mariana es estudiante de ingeniería industrial de la UNAD
seguramente utiliza los medios digitales para desarrollar sus actividades
de curso

Desarrollo

Argumentación: El razonamiento utilizado es el deductivo, porque la

premisa “mariana es estudiante de ingeniería industrial de la UNAD, es
tipo general, mientras que la premisa “seguramente utiliza los medios
digitales para desarrollar sus actividades de curso” es de tipo particular
Ejercicio 3: Problemas de aplicación

Expresión simbólica:

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

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

Desarrollo:

p: Camila es profesora

q: la UNAD es una excelente universidad

r: Camila dicta clases de ingeniería industrial

 Razonamiento en lenguaje natural:

Camila es profesora entonces la UNAD es una excelente universidad

además la UNAD es una excelente universidad entonces Camila dicta
clases de ingeniería industrial sin embargo Camila es profesora y la
UNAD es una excelente universidad, por lo tanto Camila dicta clases de
ingeniería industrial
  Generar la tabla de verdad manualmente:

 Resultado de la tabla de verdad: TAUTOLOGÍA

  Generar la tabla de verdad con el simulador Lógica UNAD

leyes de inferencia
c. Expresión simbólica: [(𝑝→𝑞)∧(𝑞 →𝑟)∧(𝑝∧𝑞)]→𝑟

Premisas

P1: 𝑝→𝑞
P2: 𝑞 →𝑟
P3: 𝑝∧𝑞

Conclusión: 𝑟

P4: P simplificando en p3
P5: q aplicando modus poniendo ponens en p1y p4

P6: r aplicando modus poniendo ponens en p2 y p5