Vamos resolver passo a passo, usando lógica proposicional.

1. Marina decidiu que haverá brigadeiro (B = V).

2. A segunda afirmação diz que haverá brigadeiro ou churros, mas não ambos. Como haverá brigadeiro, não poderá haver churros (H = F).

3. A terceira afirmação diz que haverá quindim se e somente se não houver churros (Q ↔ ¬H). Como não haverá churros, ¬H = V. Para o bicondicional ser verdadeiro, o quindim também precisa ser verdadeiro (Q = V).

4. A primeira afirmação diz que, se houver cajuzinho, então não haverá quindim (C → ¬Q). Como o quindim é verdadeiro, ¬Q é falso. Para a implicação continuar verdadeira, o cajuzinho precisa ser falso (C = F).

5. A quarta afirmação diz que, se houver pudim, então haverá cajuzinho ou não haverá brigadeiro (P → (C ∨ ¬B)). Como haverá brigadeiro, ¬B = F. E como não haverá cajuzinho, C = F. Logo, a condição após o “então” é falsa. Para a implicação ser verdadeira, não poderá haver pudim (P = F).

Portanto, os únicos doces que estarão na festa serão brigadeiro e quindim.

Resposta correta: alternativa D.

Resolução por lógica proposicional

Definindo as proposições:

P = haverá cajuzinho.

Q = haverá quindim.

R = haverá brigadeiro.

S = haverá churros.

T = haverá pudim.

1ª afirmação: Se tiver cajuzinho, então não haverá quindim.

P → ¬Q

2ª afirmação: Haverá brigadeiro ou churros, mas não ambos.

(R ∨ S) ∧ ¬(R ∧ S)

Como haverá brigadeiro (R = V), não haverá churros (S = F).

3ª afirmação: Haverá quindim se e somente se não houver churros.

Q ↔ ¬S

Como S = F, temos ¬S = V. Logo, Q = V.

4ª afirmação: Se houver pudim, então haverá cajuzinho ou não haverá brigadeiro.

T → (P ∨ ¬R)

Como haverá quindim, pela primeira afirmação não poderá haver cajuzinho (P = F). Além disso, haverá brigadeiro (R = V), portanto ¬R = F.

Assim, o consequente da quarta afirmação é falso: F ∨ F = F.

Para a condicional ser verdadeira, o antecedente também deverá ser falso. Logo, não haverá pudim (T = F).

Conclusão: haverá apenas brigadeiro e quindim.

Alternativa D.

Resolução por etapas

O segredo da questão é descobrir os valores lógicos progressivamente, usando cada conclusão na afirmação seguinte.

1. Brigadeiro ou churros, mas não ambos: como haverá brigadeiro, não haverá churros.

2. Quindim se e somente se não houver churros: como não haverá churros, haverá quindim.

3. Se houver cajuzinho, então não haverá quindim: como haverá quindim, não pode haver cajuzinho.

4. Se houver pudim, então haverá cajuzinho ou não haverá brigadeiro: como não haverá cajuzinho e haverá brigadeiro, o consequente será falso. Para a condicional ser verdadeira, o antecedente (pudim) deverá ser falso.

Conclusão: haverá apenas brigadeiro e quindim.

Bizu: resolva as proposições em sequência, substitua os valores lógicos encontrados e só depois analise a condicional final.

Lembre-se: na condicional (P -> Q), ela só é falsa quando (P) é verdadeiro e (Q) é falso.

https://youtu.be/lC6HjgFJd6g?t=354

C -> ~Q F-> F

B v Ch = V v F

Q <-> ~Ch = V <-> V

P -> Ch v ~B = F -> F v F = F -> F

B = V