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

A implicação correta seria: ou .