Assinale a alternativa que apresenta uma negação lógica da seguinte afirmação: ‘Se o indivíduo é um contraventor, então não resta esperança para ele’

O indivíduo não é um contraventor, e resta esperança para ele.

Se resta esperança para ele, então o indivíduo não é um contraventor.

O indivíduo é um contraventor, e resta esperança para ele.

Se não resta esperança para ele, então o indivíduo é um contraventor.

Resta esperança para ele, ou o indivíduo não é um contraventor.