Como representar, em lógica proposicional, que a rejeição de uma proposição implica a disjunção das alternativas restantes?

\( \neg A \to (B \vee C)\)

Explicação:
Se a antecedente \( \neg A\) é verdadeira e o universo de opções é apenas A, B ou C, então rejeitar A força que pelo menos uma das outras opções seja verdadeira, logo \(B \vee C\) segue, e a condicional \( \neg A \to (B \vee C)\) formaliza essa relação.

Exemplo:
Considere disciplinas: M = "escolher Matemática", F = "escolher Física", Q = "escolher Química".
Formalização: \( \neg M \to (F \vee Q)\).
Se \( \neg M\) é verdadeira e só existem essas três opções, então necessariamente \(F \vee Q\) é verdadeira, portanto a condicional é satisfeita.