Em um quartel de bombeiros, o regulamento interno estabelece: “Se um bombeiro solicita transferência para outro destacamento, então ele deve apresentar justificativa formal por escrito”. Considere as proposições p: “O bombeiro solicita transferência para outro destacamento” e q: “O bombeiro apresenta justificativa formal por escrito”.
A negação lógica da proposição p → q é: