Se o Sol não está no céu, então Sônia não toma sorvete.

A filhote do CESPÃO sempre fazendo graça.

Para resolver vá a segunda proposição coloque falso no consequente para que você seja obrigado a ter um único resultado possível que será colocar F no antecedente assim conseguirá resolver a questão logo todas as prep estarão corretas.

GAB certo

Ótima questão...... Bora lá!!!

A proposição acima, pode ser representada pela seguinte forma: p -> q (se Maria nasceu em Brasília, então Maria é brasileira)

Para resolver a questão, você tem que saber sobre a tabela verdade.

p | q | p->q

v | v | v

v | f | f

f | v | v

f | f | v

A primeira coisa de você deve observar para nunca mais esquecer é, NUNCA o Vasco pode vir à frente do Flamengo, pois se vier o resultado será Falso (v | f | f).

Então, sabendo de tudo isso, vamos resolver a questão.

Sônia toma sorvete -> faz calor. 

faz calor -> o Sol está no céu. 

Vamos encontrar o resultado por eliminação, como? veja bem....

Na ultima expressão, se você colocar qualquer outro resultado em (o sol está no céu) que não seja o F, você não conseguirá concluir se (faz calor) é verdadeiro ou falso. A única opção cabível para que a sentença seja mantida verdadeira é (o sol está no céu) = F, que força que (faz calor) seja igual a F e como já vimos F e F é = V.

Então, finalmente conseguimos concluir que:

F--------------------------------- F

Sônia toma sorvete -> faz calor. 

F---------------------------- F

faz calor -> o Sol está no céu.

V -------------------------------------------------------V =-------------- V

Se o Sol não está no céu, então Sônia não toma sorvete.

Essa é uma questão de Raciocínio Crítico/Analítico, aqueles que simplesmente tentam associar a lógica proposicional fatalmente acabará errando.

Premissa + Premissa = Conclusão.

Certo

Regra do corte + equivalência do "Se então":

A: Sônia toma sorvete

B: faz calor

C: Sol está no céu

____________________________________________

A -> B

B -> C

_________________________________________________

Cortam-se as proposições iguais. Logo:

A ->C = ~C -> ~A

Se o Sol não está no céu, não fará calor. Se não faz calor, Sônia não tomará sorvete.