deducción lógica Synonym