Para indicar que dos proposiciones están conectadas, la primera implicando la segunda se utiliza el símbolo formula_14 , llamado conectivo condicional, la primera proposición es llamada antecedente o hipótesis y la segunda es consecuente o conclusión.