Question

Premisas:
P1: p→q
P2: q→r
P3: p∨q

Conclusión: r
DEMOSTRAR VALIDEZ DEL ARGUMENTO CON REGLAS DE INFERENCIA

Answer 1

La validación mediante Reglas de inferencia con conclusión r es:

P1: p→q

P2: q→r

P3: p∨q    

P4: q∨q         Modus ponens de P1 y P3

P5:  q             Idempotencia de P4

P6:   r             Modus ponens P2 y P5  

Queda demostrada la validez del argumento, cuya conclusión es "r"

No olvide que:

Modus Ponens: Afirmamos el antecedente para concluir en el consecuente

p → q

p        

         q

Idempotencia: Es un propiedad en lógica, donde:

Si tenemos una disyunción entre la misma variable. Concluimos en la variable. Ejemplo: Canto o canto, conclusión: canto.

q ∨ q = q