Negación al absurdo

Debemos negar la conclusión y agregarla como una premisa adicional, aplicamos leyes de
inferencia y llegamos a una contradicción.

P1: ~𝑝 ∨ ~𝑞

P2: 𝜌
P3: ~𝑞 → 𝑟

P4: r→𝑠
P5: ~𝑠 (aquí está la negación de la conclusión)

SOLUCIÓN

Tomando P3 y P4 por transitividad

~𝑞 → 𝑟
r→ 𝑠
Nos queda ~𝑞 → 𝑠

P6: ~𝑞 → 𝑠

Tomando P5 y P6 por Modus Tollendo Tollens

~𝑞 → 𝑠
~𝑠
Nos queda la negación de ~𝑞 ósea 𝑞

P7: 𝑞

Si aplicamos adjunción a P2 y P7 tenemos

P8: 𝜌ᴧ𝑞

Pero P1: ~𝑝 ∨ ~𝑞 es ley de Morgan y queda

P9: ~(𝜌˄𝑞)

Entonces P8 y P9 son una contradicción

P8: 𝜌˄𝑞

P9: ~(𝜌˄𝑞)

Falso o contradictorio