lógica deductiva Synonym