En las que las líneas de cierre son dobles indicando que ambas fórmulas son equivalentes, es decir, pueden sustituirse directamente una por otra puesto que su conexión es un bicondicional