Um argumento é logicamente válido quando