A implicação é F.

Se x não é nulo, então x não é necessariamente positivo.

A implicação correta seria: ou .