Questões sobre Equivalência Lógica e Negação de Proposições

Considere a seguinte proposição:
“Se amanhã for feriado, então Ricardo não irá trabalhar.” A negação dessa proposição está corretamente indicada na seguinte alternativa:

Duas proposições, expressas de maneiras diferentes, podem ser logicamente equivalentes, mesmo que, aparentemente, não apresentem uma relação entre elas. Assinale a alternativa em que as proposições não são logicamente equivalentes. 

A esposa de Rafael tem algumas práticas bem interessantes:
? Sempre que chove ela assa biscoitos de gengibre; ? Ela só prepara chá gelado quando volta da academia.
Certo dia, Rafael saiu mais cedo do trabalho informando aos colegas que sua esposa havia ligado para dizer que teriam chá gelado com biscoitos de gengibre para o café da tarde. Ao revelar essa informação, dois colegas de trabalho fizeram as seguintes observações:
• André: Hoje a esposa de Rafael foi à academia. • Bernardo: Está chovendo onde Rafael mora.
Com base nessas observações pode-se concluir, com certeza, que: 

De acordo com as regras da lógica, a sentença “Se Maria tem olhos castanhos, então Mário tem olhos azuis” é uma sentença equivalente a:

A frase que apresenta a negação da proposição quantificada, “Todo número elevado ao quadrado é positivo” é a frase apresentada na alternativa: