Quando um argumento dedutivo é válido, isso significa que