A implicação é F; poderia ser também x
=
4.
A implicação correta seria:
ou
.