Question

P1: : p→¬q P2:q∨¬r P3: r Conclusion: ¬p DEmostración de la validez del argumento mediante las leyes de la inferencia lógica

Answer 1

Para demostrar la valides de la conclusión tenemos:

1. Aplicar Modus Tollens en P1 y P2

P1: p → ¬q

P2:q ∨ ¬r

P4: ¬p ∨ ¬r

2. Luego aplicamos equivalencia en P4

P4: ¬p ∨ ¬r ≡ p → ¬r

3. Finalmente aplicamos nuevamente Modus Tollens en P4 y P3

P4: p → ¬r

P3: r                

Conclusion ¬p

Answer 2

P1= p => q

P2= p v r

P3= ¬r ^ ¬ q

Conclusión: q  

me podrian ayudar por favor