LIC. ANDRÉS TACHA P.

LÓGICO MATEMÁTICO – I SEMESTRE - MVZ

DOCENTE CURSO PERIODO

Andrés Tacha Ramírez Pensamiento Lógico 2021 - I
PENSAMIENTO LÓGICO
TALLER EVALUATIVO - REGLAS DE INFERENCIA

ACTIVIDAD:

1. En cada uno de los ejemplos siguientes demostrar que la conclusión es

consecuencia lógica de las premisas dadas. Realizar cada deducción empleando las
reglas de inferencia e indicando el proceso correspondiente.

➢ Los triángulos tienen líneas curvas o son poliedros. Los triángulos no son
poliedros. Los triángulos tienen tres ángulos. Si los triángulos no son
poliedros y tienen tres ángulos entonces no tienen líneas curvas. Por lo
tanto, los triángulos son poliedros.

➢ Si los insectos no son unicelulares y las aves están recubiertas de plumas

entonces los anfibios son animales voladores. Los mamíferos son
invertebrados y los insectos no son unicelulares. Las aves están recubiertas
de plumas. Los anfibios no son animales voladores o los ratones no son
roedores. Por lo tanto, los ratones no son roedores.

2. Realizar las demostraciones formales de cada uno de los razonamientos siguientes

empleando reglas de inferencia.

DEMOSTRAR: 𝐬
1. p → q
2. q → ¬r
3. r
4. p ∨ (t ∧ s)

DEMOSTRAR: 𝐭
1. p → q
2. (p → r) → ¬s
3. s ∨ t
4. q → r

LIC. ANDRES TACHA 1

 LIC. ANDRÉS TACHA P. LÓGICO MATEMÁTICO – I SEMESTRE - MVZ

DEMOSTRAR: ¬(s ∨ t) ∧ ¬q
1. p ∨ ¬r
2. ¬s
3. ¬q
4. ¬r → t
5. p → s
6. s ∨ t → ¬t

DEMOSTRAR: s ∧ t
1. ¬(p ∨ ¬r)
2. q ∨ p
3. r → s
4. q ∧ s → t ∧ s

3. Convertir las siguientes premisas en lenguaje lógico y posteriormente determinar

a través del uso de las reglas de inferencia si la conclusión es consecuencia lógica
de las premisas.

DEMOSTRAR: 𝒚 ≮ 𝟒 ∧ x < y
1. x > y ∨ x < 4
2. x < 4 → x < y ∧ 𝒚 ≮ 𝟒
3. x > y → x = 4
4. 𝑥 ≠ 4

DEMOSTRAR: 𝒚 > 𝟑 ∧ y < 5

1. x = 3 ∨ y = 3
2. x > 2 ∨ x + y ≯ 5
3. y = 3 ∨ x = 3 → x + y > 5
4. ¬(y < 5 ∧ y > 3) → x ≯ 2

LIC. ANDRES TACHA 2