A negação lógica de “Todo professor é licenciado.” é: