Ana perguntou a seu marido Rafael: “Onde vo...

Vamos falar sobre negação lógica de uma condicional, que é uma estrutura muito comum em lógica matemática e raciocínio lógico. A frase dada é "Se for sábado, trabalharei na secretaria." Expressando em símbolos, isso seria: Se P então Q, onde P = "for sábado" e Q = "trabalharei na secretaria".

Negar essa condicional não é tão simples como negar P ou Q isoladamente. A negação da frase "Se P então Q" é "P e não Q". Ou seja, para negar "Se for sábado, trabalharei na secretaria", devemos encontrar uma situação em que seja sábado, mas que Rafael não trabalhe na secretaria.

Analisando as alternativas:
a) "Se não for sábado, trabalharei na secretaria." Não é a negação, isso é uma outra condicional.
b) "Se não for sábado, não trabalharei na secretaria." Também é outra condicional, e não é a negação da original.
c) "Se for sábado, não trabalharei na secretaria." Negação da afirmação original seria afirmar o contrário em caso de sábado, parece correto mas essa é a contradição direta do 'consequente', o que não é a negação lógica da condicional, mas sim a negação do consequente. Não é a negação lógica da frase inteira.
d) "Será sábado e trabalharei na secretaria." Isto corresponde à afirmação original, não é a negação.
e) "Será sábado e não trabalharei na secretaria." Esta é uma frase do tipo P e não Q, exatamente a negação da condicional "Se P então Q".

Portanto, a negação correta é a alternativa e).