Question

URGENTE ALGUIEN QUE ME PUEDA AYUDAR EN ESTE PROBLEMA DE LÓGICA MATEMÁTICA.

Answer 1

Los argumento se pueden validar mediante una de las de leyes de inferencias llamada Modus Ponens:

1. Tomamos P1 y P3

P1 : p → q

P3: p ∨ -r

∴   q

2. Tomamos P2 y P3

P1 : -r → s

P3: p ∨ -r

∴         s

3. Unimos las dos conclusiones parciales y obtenemos q ∨ s