Ó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.
Esse é um caso onde é possível fazer uso do SILOGISMO HIPOTÉTICO para resolver a questão sobre lógica de argumentação. Existindo apenas premissas condicionais, é possível cortar o final de uma condicional com o início da outra, e ter um argumento válido. Veja:
1) Se Sônia toma sorvete, então faz calor
2) Se faz calor, o sol está no céu
C: Se Sônia toma sorvete, então o sol está no céu (eliminamos as proposições iguais)
Para finalizar, segundo a equivalência lógica da condicional, temos: Se o sol não está no céu, então Sônia não toma sorvete. Item CERTO.
(apenas como aprofundamento, outra equivalência lógica da condicional que também deixaria o item correto: Sônia não toma sorvete ou o sol está no céu).