Durante uma reunião, um grupo de alunos discute a validade de algumas afirmações lógicas. Um dos participantes, ao analisar a frase "Se chove, então a rua está molhada", afirma que a negação dessa proposição seria "Chove e a rua não está molhada". Considerando a lógica proposicional, essa afirmação está correta?