De acordo com o raciocínio lógico proposicional, a negação da frase “Paulo é analista financeiro e Sheila não é assistente contábil” é:

Gabarito

B

Comentário do professor

A frase composta original corresponde a \(a \land \lnot b\), em que a: "Paulo é analista financeiro" e b: "Sheila é assistente contábil".

Para obter a negação aplicamos a Lei de Morgan: negar uma conjunção transforma em disjunção e nega cada parcela. Assim: \( \lnot(a \land \lnot b) \equiv \lnot a \lor \lnot(\lnot b)\).

Como \(\lnot(\lnot b)\) equivale a \(b\) (dupla negação), chegamos a \( \lnot a \lor b\).

Em linguagem natural: Paulo não é analista financeiro ou Sheila é assistente contábil. Isso significa que a negação é verdadeira sempre que pelo menos uma dessas condições ocorrer: Paulo não ser analista financeiro, ou Sheila ser assistente contábil, ou ambas.

Resposta: B