Observe Atentamete!
Lembre-se que o conectivo bicondicional é representado simbolicamente por "
".