Considere a proposição “Se estou correndo ou jogando futebol, então amanhã estarei de férias”. Uma negação lógica dessa proposição é equivalente a:

Gabarito

Certo

Comentário do professor

A frase é uma proposição condicional: antecedente = “estou correndo ou jogando futebol” e consequente = “amanhã estarei de férias”.

Em lógica simbólica, escrevemos isso como \(A \to B\). A negação de uma condicional não equivale a negar todo o enunciado simultaneamente; a forma correta é manter o antecedente e negar o consequente.

Assim, a negação de \(A \to B\) é \(A \land \lnot B\). Aplicando ao texto: Estou correndo ou jogando futebol, e amanhã não estarei de férias.

Portanto a alternativa apresentada corresponde exatamente à negação lógica correta da condicional dada.