Se não faz calor, então o Sol não está no céu.

Ó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 ------------------------------F = -------------- F

Se não faz calor, então o Sol não está no céu.

JOAO PAULO DO NASCIMENTO

Acredito que você se equivocou, se você considerou "o sol está no céu" como F, então "o sol não está no céu" seria V.

Se Sônia toma sorvete, então faz calor.

Se faz calor, o sol está no céu.

A questão pergunta sobre essa sentença:

Se não faz calor, então o sol não está no céu.

Cortando as partes "repetidas" ficou assim:

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

Mesmo se usarmos a contrapositiva as sentenças ficarão diferentes.

Gabarito: errado

P.S: se alguém resolveu de outra forma, por favor, compartilhe. Obrigada!

Regra da equivalência:

NEGA a primeira, coloca o “ou” e  REPETE segunda.

Na questão ele negou a primeira mas não colocou o "ou" na segunda.

Errada.

Se faz calor, o Sol está no céu. c -> Sol equivale ~Sol -> ~c

nega e inverte as duas preposições

Se não faz calor, então o Sol não está no céu. (negou mas nao inverteu, logo ta errado)