A implicação é F.
Se x não é nulo, então x não é necessariamente positivo.
A implicação correta seria: ou .