Hola
A lo que voy es decidir si está mal en algún aspecto decir que en el miembro izquierdo de \( p\implies(q\implies r)\equiv(p\wedge q)\implies r \) tenga como hipótesis única \( p \), mientras que en la expresión de la derecha ahora sean dos hipótesis. ¿Esto podría causar alguna laguna lógica o exclusivamente tiene que ver con nuestro lenguaje u otro motivo no-lógico?
Saludos
