A implicação:
é F.
De fato x pode ser zero.
A implicação correta seria:
ou
.