A implicação: é F.

De fato x pode ser zero.

A implicação correta seria: ou .