Considere a seguinte afirmação: “Se chove, então levo guarda-chuva. Hoje eu não levei o guarda-chuva”. Com base nessa informação, é CORRETO concluir que:

Gabarito

A

Comentário do professor

Se chove, então levo guarda-chuva. Formalmente é \(p \rightarrow q\), onde p = "chove" e q = "levo guarda-chuva".

Também sabemos que hoje não levou o guarda-chuva, isto é \( \lnot q\).

Pela regra lógica conhecida como modus tollens (ou pelo uso da contrapositiva, já que \(p \rightarrow q\) é equivalente a \( \lnot q \rightarrow \lnot p\)), de \(p \rightarrow q\) e \( \lnot q\) segue-se validamente \( \lnot p\).

Aplicando aos enunciados: se não levou guarda-chuva, então não choveu. Portanto, a conclusão correta é: Hoje não choveu.