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).
