A continuación, encontrará un argumento para el desarrollo del ejercicio 3, usted deberá identificar e indicar las leyes de inferencia y las premisas utilizadas en cada uno de los pasos para la demostración del argumento.
[( ∨ (s ᴧ t)) ᴧ ∼ (s ᴧ t)] →
Alguien que me explique ? porfa no entiendo