Vemos que en la proposición compuesta formula_1 el conectivo importante es el condicionante formula_5.