[( r ∨ (s ᴧ t)) ᴧ ∼ (s ᴧ t)] → r

Deducir las premisas (P1, P2, P…) y la conclusión.

Defina la ley de inferencia que representa el lenguaje simbólico dado.

P1:

P2:

Conclusión 1:

Ley utilizada: