Maria, João e Felipe trabalham juntos. Sabe-se que se Maria...

Gabarito: B

Maria Despedida = MD

João será Promovido = JP

Felipe será Promovido = FP

Felipe Ganhará Bônus = FB

Felipe não Ganhará Bonus = ~FB

MD (F)  -> (JP (F) ^ FP (V ou F)) (F) | V

JP (F)  -> FB (F) | V

~ FB | V

Na primeira proposição, como João será promovido é falso e na conjunção sempre será FALSO quando pelo menos uma das proposições for falsa, sabe-se que a proposição composta é FALSA. Pro Se, então  não dar FALSO, logo a proposição "Maria será Demitida" tem que ser obrigatoriamente FALSA também. Logo, Maria NÃO será Demitida terá que ser VERDADEIRA.

É condição necessária para Felipe ganhar o bônus a promoção de João. 

É também condição necessária para a promoção de João e Felipe a demissão de Maria.

Sabe-se que Felipe não ganhará o bônus. Logo, infere-se que Maria não será despedida. 

Alternativa correta letra B.

Maria, João e Felipe trabalham juntos.

Sabe-se que se Maria for despedida, então João e Felipe serão promovidos.

                                F                                                   F =      V

Ainda, se João for promovido, então Felipe ganhará um bônus. 

                              F                                   F                                  =  V

Sabe-se que Felipe não ganhará um bônus.  V

P--->Q    V e F= F     qualquer diferente dessa logo é verdadeira.

Se Maria for despedida (F), então João e Felipe serão promovidos (F).

Se João for promovido (F), então Felipe ganhará um bônus (F). 

Felipe não ganhará um bônus. (V)

João não será promovido.

Maria não será despedida.

A condicional E na segunda assertiva poderia tornar maria promovida ou não ao meu ver, a banca entendeu o bônus como promoção.