A evolução de uma lógica invertida