Se a proposição “Todos os notebooks são computadores” é sempre verdadeira, então é correto afirmar que