A afirmação ?Se o Sol brilha, então é dia? é logicamente equivalente à afirmação

Para resolver essa questão, vamos analisar a equivalência lógica das afirmações apresentadas em relação à afirmação inicial "Se o Sol brilha, então é dia".

A afirmação "Se o Sol brilha, então é dia" pode ser representada na forma de uma implicação: Sol brilha -> é dia.

Analisando as opções:

a) "Se o Sol não brilha, então não é dia" pode ser representada como: ~Sol brilha -> ~é dia.

b) "Se não é dia, então o Sol não brilha" pode ser representada como: ~é dia -> ~Sol brilha.

c) "É dia e o Sol não brilha" pode ser representada como: é dia ^ ~Sol brilha.

d) "Não é dia e o Sol brilha" pode ser representada como: ~é dia ^ Sol brilha.

e) "O Sol brilha ou não é dia" pode ser representada como: Sol brilha v ~é dia.

Analisando as opções, a única que é logicamente equivalente à afirmação inicial "Se o Sol brilha, então é dia" é a opção b) "Se não é dia, então o Sol não brilha", representada como ~é dia -> ~Sol brilha.

Portanto, o gabarito é:

Gabarito: b)