Question

Demostración de la validez del argumento mediante las leyes de la inferencia lógica.
P1: (r→¬q)
P2:(p ∨ s)
P3: (q∧ p)

Conclusión: ¬r

Answer 1

Respuesta:

Ver demostración.

Explicación paso a paso:

1.  r  ⇒ ¬q

2. p ∨ s

3. q ∧ p

________________

Conclusión: ¬r.

4. q  (de 3  por Ley de Simplificación)

5. ¬r  (de 1  y  4, por Modus Tollens)