Question

Ayuda pro favor.
Demostración de la validez del argumento mediante las leyes de la inferencia lógica:


Expresión simbólica:


[ ( p ⟶ q ) ∧ (p ∧ s) ] → q


Premisas:


P1: ( p⟶q )

P2: (p ∧ s )


Conclusión: q



Muchas gracias

Answer 1

Respuesta: Ver explicación.

Explicación: P1 : ( p⟶q )

                     P2: (p ∧ s )

......................................................

P3 :  p     ( de P2 por ley de simplificación)

P4:   q     (de P1  y  P3  por Modus Ponendo Ponens)

Y hemos llegado a la conclusión.