deducción formal Synonym