∃x ∃y Jxy V Kxy ⊃ ∃x Lx ¿por Qué No Se Puede Instanciar Esto