Sabe-se que em matemática uma proposição ou sentença é toda oração declarativa que pode ser classificada em verdadeira ou falsa. Sejam "m" e "n" proposições lógicas, considere que (m⭢n) ⟺ (~n⭢~m). Assim, assinale a opção que apresenta a sequência lógica da relação (~ n ⭢ ~ m).