Julgue o item a seguir, relativos a raciocínio lógico e operações com conjuntos.

Dadas as proposições simples p: “Sou aposentado” e q: “Nunca faltei ao trabalho”, a proposição composta “Se sou aposentado e nunca faltei ao trabalho, então não sou aposentado” deverá ser escrita na forma (p ∧ q) → ~p,usando-se os conectivos lógicos.