Identificar cuáles de las siguientes son instancias dex sustitución deyLxy:yLby α,xLbx αLab,,xLxa 3. {αx (¬MxLjx), αx (Bx→Ljx),x αMx (Bx)} α...Identificar cuáles de las siguientes son instancias dex sustitución deyLxy:yLby α,xLbx αLab,,xLxa 3. {αx (¬MxLjx), αx (Bx→Ljx),x αMx (Bx)} αxLjx Simbolizar cada una de las siguientes formas de argumento en QL y agregar los supuestos adicionales 'HayA un' y 'Hay una'B. αx αy (Gxy→Gyx) αx αy (Gxy↔Gyx) αx (Ax→Bx), αx (Bx→Cx),.. [Ax→x] (→Cx)