INGENIERIA DE ALIMENTOS

Nombre Completo:
Héctor Arley Bautista Silva

TALLER
Pensamiento Lógico Matemático 200611

Tutor
CAROLINA CASTANO

Neiva-(Huila)
Noviembre-2019
Ejercicio 1: Proposiciones categóricas

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

ejercicio 1:

C).
p: Todos los tutores son magister.
q: Algunos tutores no son magister.

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

ESTRUCTURA

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

Todos tutores son magister

 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

ESTRUCTURA

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

Algunos tutores no son magister

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

Particular negativo. Cuantificador particular y cualidad negativa.

 p
p

De acuerdo al esquema propuesta p y q son contradictorias.

Ejercicio 2: Razonamiento Deductivo e Inductivo

B. Todos los estudiantes de la UNAD utilizan los medios digitales para estudiar.
Mariana es estudiante de la UNAD. Mariana seguramente utiliza los medios
digitales para estudiar

Desarrollo

Argumentación: El Razonamiento utilizado es el Deductivo, ya que,

sabiendo que los medios digitales son usados por los estudiantes de la
UNAD, y Mariana es estudiante de la UNAD, se deduce que Mariana usa los
medios digitales para estudiar.

Ejercicio 3: Problemas de aplicación

A. Expresión simbólica: [(𝑟 → ¬𝑞) ∧ (𝑝 ∨ 𝑠) ∧ (𝑞 ∧ 𝑝)] → ¬𝑟

Premisas:

P1: 𝑟 → ¬𝑞
P2: 𝑝 ∨ 𝑠
P3: 𝑞 ∧ 𝑝
 Conclusión ¬𝑟

Supongamos que tenemos el argumento “Si no compramos una parcela, entonces

construimos una casa. Si construimos una casa, no compramos un apartamento. Si
no compramos un apartamento entonces compramos muebles. No compramos una
parcela. No compramos muebles o compramos un apartamento. Por lo tanto,
compramos un apartamento”.

 Proposiciones Simples: (se define cada proposición simple del argumento,

siempre en afirmativo y con letras en minúscula).

p: Compramos una parcela

q: Construimos una casa
r: Compramos un apartamento
s: Compramos muebles

 Lenguaje Simbólico: Se convierte el argumento al lenguaje simbólico.

[(𝑟 → ¬𝑞) ∧ (𝑝 ∨ 𝑠) ∧ (𝑞 ∧ 𝑝)] → ¬𝑟

 Tabla de verdad manual:

p q r s ¬𝐪 ¬𝐫 (𝐫 → ¬𝐪) ∧ (𝐩 ∨ 𝐬) ∧ (q∧p)] → ¬𝐫
V V V V F V F F V F V V F
V V V F F V F F V F V V F
V V F V F F V V V V V V V
V V F F F F V V V V V V V
V F V V V V V V V F F V F
V F V F V V V V V F F V F
V F F V V F V V V F F V V
V F F F V F V V V F F V V
F V V V F V F V V F F V F
F V V F F V F F F F F V F
F V F V F F V V V F F V V
F V F F F F V F F F F V V
F F V V V V V V V F F V F
F F V F V V V F F F F V F
F F F V V F V V V F F V V
F F F F V F V V F F F V V
  Tabla de verdad con simulador lógica UNAD:

[(𝑟 → ¬𝑞) ∧ (𝑝 ∨ 𝑠) ∧ (𝑞 ∧ 𝑝)] → ¬𝑟

Tabla De Resulatdo
p q r s [(𝐫 → ¬𝐪) ∧ (𝐩 ∨ 𝐬) ∧ (𝐪 ∧ 𝐩)] → ¬𝐫

V V V V V
V V V F V
V V F V V
V V F F V
V F V V V
V F V F V
V F F V V
V F F F V
F V V V V
F V V F V
F V F V V
F V F F V
F F V V V
F F V F V
F F F V V
F F F F V

Resultado de la tabla de verdad: TAUTOLOGÍA

 Demostración de la validez del argumento mediante las leyes de la

inferencia lógica

Premisas:

P1: r→¬q
P2: p ∨ s
P3: q ∧ p
Conclusión: ¬r
P4: q S. en 3
P5: r MP en 1 y 4
P6: p S. en 3
P7: ¬s MTP en 2 y 6
P8: ¬s v r aditiva en 5 y 7
P9: s → r ley condicional en 8