Considere a afirmação “Se faz Sol, então João vai à feira ou João vai ao supermercado”. Sabendo que João não foi ao supermercado, é CORRETO concluir logicamente destas informações

Gabarito

Errado

Comentário do professor

Partimos da condicional: Se faz Sol, então João vai à feira ou João vai ao supermercado, que simbolizamos por \(S \to (F \lor M)\).

Sabendo que João não foi ao supermercado, ou seja \( \neg M\), a disjunção reduz-se a \(F \lor M = F\). Assim a condicional vira \(S \to F\).

Da fórmula \(S \to F\) não se segue \(F\) nem \(\neg F\) sem informação sobre \(S\). Tampouco se deriva \(S\) ou \(\neg S\). A condicional apenas garante que, caso \(S\) seja verdadeira, então \(F\) será verdadeira.

Portanto, com os dados fornecidos não há base lógica para afirmar qualquer uma das proposições pedidas. A única conclusão válida seria a forma implicativa \(S \to F\), não nenhuma das afirmações isoladas.