Ejercicio 1: Proposiciones categóricas

p: Algunos docentes son ingenieros industriales

q: Ningún docente es ingeniero industrial

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
Proposición CUANTIFICADOR TERMINO CUALIDAD O TERMINO
categórica: SUJETO CUPULA PREDICADO
P: Algunos Docentes Son Ingenieros
industriales
Q: Ningún Docente es Ingenieros
industriales

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

P: “I”, particular afirmativo, S particular y P particular.

Q: “E” universal negativo, S universal y P universal.

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

(I-E), las preposiciones son contradictorias, no pueden ser simultáneamente verdaderos, ni

simultáneamente falsos.
Ejercicio 2: Razonamiento Deductivo e Inductivo

De todos los felinos, el león es el rey de la selva, ya que es el felino más grande de África y por su
melena pareciera que tuviese corona. Su único potencial depredador es la hiena, pero solo si
ésta lo ataca en grupo; de lo contrario, hiena contra león tendrá como muy probable vencedor al
león.

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.

Ejercicio 3: Problemas de aplicación

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

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

• 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

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