LOGICA MATEMATICA Y DIGITAL

SEMANA 4

Cristián Ortiz
30/05/2022
Continuidad en Ingeniería en Informatica
DESARROLLO
1) Teniendo en cuenta el siguiente enunciado, represente el mismo y determine mediante el
uso de las reglas de inferencia si la conclusión planteada es válida (3pts). Si Juan no
estudia matemáticas entonces no aprueba, Si Juan no aprueba pierde el semestre; por lo
tanto, si Juan no estudia matemáticas entonces perderá el ciclo.

 Premisa 1: Si Juan no estudia matemáticas entonces no aprueba.

 Premisa 2: Si Juan no aprueba pierde el semestre.
 Conclusión: Si Juan no estudia matemáticas entonces perderá el ciclo.

Lenguaje Lógico

 A = Juan no estudia matemáticas.

 B = Juan no aprueba.
 C = Juan pierde el semestre.

A → B (p)
B → C (p)

A → C (p) Regla Transitiva

2) Utilizando las reglas de inferencia, demostrar que “q” es una conclusión válida para las
siguientes proposiciones:
 r↔(s Λ q) (p)
 ¬[¬(s Λ q) V r] (p)

1.- r → (s ^ q) Modus Ponens

2.- (s ^q) → q Modus Ponens
3.- (s ^q) ^ q Adjunción
4.- (s ^ q) Simplificación
 3) Utilizando las reglas de inferencia, demostrar que H Λ T es una conclusión válida para las
siguientes proposiciones:
 ¬(¬ P V ¬ Q) (p)
 P → (H Λ T) (p)
 Q → (H Λ T) (p)

1.- P ^ Q Morgan
2.- (H ^ T) v (H ^T) Silogismo
3.- H ^T Simplificación

4) Utilizando las reglas de inferencia, demostrar que P V N, es una conclusión válida para las
siguientes proposiciones: (3pts).
 N→ ¬Q (p)
 ¬¬Q (p)
 ¬(P V N)→ N (p)

1- ¬N Modus Ponens
2- NvP Modus Ponens
3- N^P (Cambio de conector )
4- P Simplificación
5- PvH Adición

REFERENCIAS BIBLIOGRÁFICAS

lectura de IACC:

IACC. (2022). Lógica Proposicional. Lógica matemática y digital. Semana 4