Deducción, mecanismos y autónomos