LÓGICA MATEMÁTICA Y DIGITAL

SEMANA 4

Luis Guerra Reyes

22/11/2021
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.

p= Si Juan no estudia matemáticas

q=Juan no aprueba

r=Juan pierde el semestre

(1) ¬p→¬q (p)

(2) ¬q→r (p)

(3) ¬p→r (c)

Esta fórmula comprende a la regla transitiva ¬p→r es una conclusión válida

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) (p)

(2) ¬[¬(sΛq)Vr] (p)

(3) ¬¬(sΛq) Λ¬r Regla de Morgan (2)

(4) ¬¬(sΛq) Regla de simplificación (3)

(5) (sΛq) Regla de doble negación (4)

(6) q Es una conclusión valida Regla de simplificación.(5)

3. Utilizando las reglas de inferencia, demostrar que H Λ T es una conclusión válida para las siguientes
proposiciones: (3pts).

• ¬(¬ P V ¬ Q) (p)

• P → (H Λ T) (p)

• Q → (H Λ T) (p)

(1) ¬(¬PV¬Q) (p)

(2) P→(HΛT) (p)

(3) Q→(HΛT) (p)

(4) ¬¬PΛ¬¬Q Regla de Morgan (1)

(5) PΛQ Regla de doble negación (4)

(6) P Regla de simplificación (5)

(7) (HΛT) Es una conclusión valida Regla de Modus Ponens (2, 6)

(8) Q Regla de simplificación (5)

(9) (HΛT) Es una conclusión valida Regla de Modus Ponens (3, 8)

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→¬Q (p)

(2) ¬¬Q (p)

(3) ¬(PVN) →N (p)

(4) ¬N Regla de Tollendo Tollens (2, 1)

(5) ¬¬(PVN) Regla de Tollendo Tollens (4, 3)

(6) (PVN) Es una conclusión valida Regla de doble negación (5)

CONCLUSIÓN
Las reglas de inferencia o reglas de transformación, es una forma lógica que consiste en una función que
toma premisas, analiza su sintaxis, y devuelve una conclusión o conclusiones. Las reglas son:

-Regla de Modus Ponens

-Regla de doble negación

-Regla del Tollendo Tollens

-Regla de adjunción

-Regla de simplificación

-Regla de Tollendo Ponens

-Regla transitiva

-Regla conmutativa

-Regla de Morgan

-Regla bicondicional

-Regla de dilema

-Regla de simplificación y disyuntiva

-Regla condicional contrarrecíproca