Em um debate sobre a validade de argumentos lógicos, um professor apresentou a seguinte afirmação: "Se um argumento é válido, então ele é sólido". Em seguida, um aluno contra-argumentou: "Se um argumento não é sólido, então ele não é válido". Analisando as condições lógicas apresentadas, é correto afirmar que a segunda afirmação é uma condição necessária para a primeira.