Dentre as alternativas abaixo, assinale a correta.
A negação da proposição "Ele faz caminhada se, e somente se, o tempo está bom", é a proposição "Ele não faz caminhada se, e somente se, o tempo não está bom".
A proposição
\sim [ p \vee \sim (p \wedge q)] é logicamente falsa.
A proposição "Se está quente, ele usa camiseta", é logicamente equivalente à proposição "Não está quente e ele usa camiseta".
A proposição "Se a Terra é quadrada, então a Lua é triangular" é falsa.