Question

Premisas:
P1: p∧¬q
P2: p→¬r
P3: q∨¬s
Conclusión: ¬r∧¬s
Como resolver estas premisas con leyes de inferencia logica

Answer 1

Operando las premisas con la leyes de inferencia encontramos que la conclusión ¬r∧¬s es válida.

P1: p ∧ ¬q

P2: p → ¬r

P3: q ∨ ¬s

P4: ¬r ∧ ¬q      Modus Ponens (P2 y P1)

P5: ¬r ∧ ¬s      Silogismo Disyuntivo (P3 y P4)

Verificamos la conclusión de acuerdo a la P5.

La inferencia lógica, el proceso mediante el cual tomamos las premisas las analizamos basados en su sintaxis para encontrar una conclusión.

Las más usadas son: modus ponens, modus tollens, silogismo disyuntivo, contraposición, etc