También cuando la premisa de la forma «si A entonces B» realmente es un bicondicional «A si y sólo si B».