acrescimo (dedução natural)