Considere as proposições p: Joana é auxiliar administrativo e q: Lúcia é feliz. A linguagem corrente que representa a proposição ~p → q corresponde a: