Implicaciones y equivalencias lógicas.