Se uma proposição afirma que 'todos os números pares são divisíveis por 2', então essa proposição é classificada como uma proposição: