Tengo una duda, no me queda claro porqué graficas el principio de no contradicción como A=~A, cuando este principio normalmente se suele formular así A?~A o lo que es lo mismo A= ~(~A), lo que en el fondo es otra manera de exponer el mismo primer principio de identidad. La formulación A=~A es de por si una violación del principio de no contradicción que es el que quieres exponer; pues A=~A quiere decir que A es lo mismo que no A, o sea que un perro es y no es perro. Por favor amiga aclárame esta inquietud, saludos.