Teoría no ideal y una lógica de abducción | Synapse