Ejercicio 1: Proposiciones categóricas

Para el desarrollo de este ejercicio, es necesario que el estudiante revise en el Entorno de

Conocimiento (Unidad 3), la siguiente referencia:

Una vez realizada la lectura, desarrolle el ejercicio propuesto.

Descripción del ejercicio A continuación, encontrará las proposiciones categóricas para el

desarrollo del ejercicio
b).
p: Ningún tutor de Pensamiento Lógico es Licenciado en Matemáticas
q: Algunos tutores de Pensamiento Lógico son Licenciados en Matemáticas
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: Ningún tutor de Pensamiento Lógico es Licenciado en Matemáticas

ESTRUCTURA
Cuantificador Término Sujeto Cualidad o Término Predicado
Cúpula
Ningunos Tutor de Pensamiento es Licenciado en Matemáticas
Lógico

q: Algunos tutores de Pensamiento Lógico son Licenciados en Matemáticas

ESTRUCTURA
Cuantificador Término Sujeto Cualidad o Término Predicado
Cúpula
Algunos Tutor de Pensamiento son Licenciado en Matemáticas
Lógico
Determine el tipo de proposición (A, E, I, O).
 Universal negativa (proposiciones-E): Ningún S es P o Todo S no es P. Cuantificador
universal negativo o Cuantificador universal y cualidad negativa.
p: Ningún tutor de Pensamiento Lógico es Licenciado en Matemáticas

 Particular afirmativa (proposiciones-I): Algunos S son P. Cuantificador particular y

cualidad afirmativa.
q: Algunos tutores de Pensamiento Lógico son Licenciados en Matemáticas

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.

R//: Estas proposiciones son contradictorias.

Ejercicio 2: Razonamiento Deductivo e Inductivo

Para el desarrollo de este ejercicio, es necesario que el estudiante revise en el Entorno de

Conocimiento (Unidad 3), la siguiente referencia:
Una vez realizada la lectura, desarrolle el ejercicio propuesto.

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

desarrollo del ejercicio 2:

b. El 31 de octubre es el día de los niños, este día se acostumbra que los niños pidan dulces
por lugares cercanos a su hogar en compañía de un adulto. El índice de robos de niños el día
de Halloween ha aumentado por lo tanto la costumbre de sacar a los niños a pedir dulces se
ha perdido.

A partir del razonamiento que haya seleccionado, deberá dar respuesta a los siguientes ítems:
 Identificar si el razonamiento es deductivo o inductivo.
R//: el razonamiento es deductivo

 2. Argumentar la respuesta con sus propias palabras.

R//: el razonamiento es deductivo porque parte de lo general para llegar a lo
particular.

Ejercicio 3: Problemas de aplicación

Para el desarrollo de este ejercicio, es necesario que el estudiante revise en el Entorno de

Conocimiento (Unidad 3), la siguiente referencia:

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

computación. (pp. 78 - 99). Ediciones Elizcom, Madrid.

Una vez realizada la lectura, desarrolle el ejercicio propuesto.

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:
 b. Expresión simbólica: [(𝑝 ∨ 𝑞) ∧ (𝑞 ⟶∼ 𝑟) ∧ (∼ 𝑟 ⟶ 𝑠) ∧ (∼ 𝑝) ∧ (𝑠 ⟶
𝑟)] ⟶ (𝑟)
𝑃𝑟𝑒𝑚𝑖𝑠𝑎𝑠:
𝑃1: (𝑝 ∨ 𝑞)
𝑃2: (𝑞 ⟶∼ 𝑟)
𝑃3: (∼ 𝑟 ⟶ 𝑠)
𝑃4: (∼ 𝑝)
𝑃5: (𝑠 ⟶ 𝑟)

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

1. 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: Soy disciplinada en mis estudios.

q: Entrego mis aportes a tiempos.

r: Resuelvo mis inquietudes con mi tutor.

s: Me dedico a rumbear y pasear

t: En la noche veo videos tutoriales del tema

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

[(𝑝 ∨ 𝑞) ∧ (𝑞 ⟶∼ 𝑟) ∧ (∼ 𝑟 ⟶ 𝑠) ∧ (∼ 𝑝) ∧ (𝑠 ⟶ 𝑟)] ⟶ (𝑟)

Soy disciplinada en mis estudios o Entrego mis aportes a tiempos. Si, entrego mis aportes a
tiempos entonces no resuelvo mis inquietudes con mi tutor. Si, no resuelvo mis inquietudes
con mi tutor entonces Me dedico a rumbear y pasear. No Soy disciplinada en mis estudios.
Si, Me dedico a rumbear y pasear entonces resuelvo mis inquietudes con mi tutor. Por lo
tanto, Resuelvo mis inquietudes con mi tutor.

3. Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje
simbólico
 4. Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel o foto del desarrollo manual).

[(𝑝 ∨ 𝑞) ∧ (𝑞 ⟶∼ 𝑟) ∧ (∼ 𝑟 ⟶ 𝑠) ∧ (∼ 𝑝) ∧ (𝑠 ⟶ 𝑟)] ⟶ (𝑟)

p q r s ∼𝑝 ∼𝑟 𝑝 ∨ 𝑞 𝑞 ⟶∼ 𝑟 (𝑝 ∨ 𝑞) ∼ 𝑟 ⟶ 𝑠 (𝑝 ∨ 𝑞) ∧ (𝑞 [(𝑝 ∨ 𝑞) ∧ (𝑞 ⟶ (𝑠 ⟶ 𝑟) [(𝑝 ∨ 𝑞) ∧ (𝑞 ⟶ [(𝑝 ∨ 𝑞) ∧ (𝑞
⟶∼ 𝑟) ∧ (∼ 𝑟
∧ (𝑞 ⟶ ⟶∼ 𝑟) ∧ ( ∼ 𝑟) ∧ (∼ 𝑟 ∼ 𝑟) ∧ (∼ 𝑟
⟶ 𝑠) ∧ (
∼ 𝑟) ∼ 𝑟 ⟶ 𝑠) ⟶ 𝑠) ∧ (∼ 𝑝) ⟶ 𝑠) ∧ ( ∼ 𝑝) ∧ (𝑠
⟶ 𝑟)] ⟶ (𝑟)
∼ 𝑝) ∧ (𝑠 ⟶ 𝑟)]

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

[(𝑝 ∨ 𝑞) ∧ (𝑞 ⟶∼ 𝑟) ∧ (∼ 𝑟 ⟶ 𝑠) ∧ (∼ 𝑝) ∧ (𝑠 ⟶ 𝑟)] ⟶ (𝑟)

𝑃𝑟𝑒𝑚𝑖𝑠𝑎𝑠:
𝑃1: (𝑝 ∨ 𝑞)
𝑃2: (𝑞 ⟶∼ 𝑟)
𝑃3: (∼ 𝑟 ⟶ 𝑠)
𝑃4: (∼ 𝑝)
𝑃5: (𝑠 ⟶ 𝑟)
P6: 𝑝 ∨ 𝑆 DS Silogismo Disyuntivo de P1, P2 Y P3.
P7: S TP Modus Tolledon ponens
P8: r PP Modus ponendo ponens

Conclusión: (𝑟)