Enunciado lógico y metafísico que consiste en reconocer la imposibilidad de que una cosa sea y no sea al mismo tiempo.