A se B:			B -> A
A só se B:		A -> B
A se e só se:	A <-> B