Se em \( (A \lor B) \rightarrow C \) observamos \( \neg C \), o que se pode inferir sobre A e B?

Resposta

¬(A ∨ B), portanto ¬A e ¬B.

Pela contrapositiva, de \( (A\lor B)\rightarrow C\) segue \( \neg C \rightarrow \neg(A\lor B)\).
Como \( \neg(A\lor B)\) é equivalente a \( \neg A \land \neg B\), concluímos que ambos os componentes da disjunção são falsos.

Exemplo:
Regra: \( (Sensor \lor Botão) \rightarrow Alarme\).
Observação: \( \neg Alarme\).
Logo: \( \neg Sensor\) e \( \neg Botão\) — nem o sensor detectou nem o botão foi acionado.