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