///
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.