Se as proposições P₁ e P₄ e a proposição “o candidato X é eleito” forem verdadeiras, a proposição P₃ será verdadeira, independentemente do valor lógico da proposição “não sou atingido por uma benfeitoria que o candidato faça após eleito”. P3 só será verdadeira se o “não sou atingido por uma benfeitoria que o candidato faça após eleito” for Falsa. Vejamos:

dados da questão:

p1: ~Voto (v) , logo Voto é (F)                                

p4: candidatoX  (v)                               

proposição “o candidato X é eleito” (v)

p3: candidatoX(V) ^ Eleito(V) ^ ~Benfeitoria(?) ---> Voto(F)   

                         V       ^      V            ^           V  --->         F = F

                         V       ^      V            ^           F  --->         F = V 

Resolução da questão (13 min:25s): https://www.youtube.com/watch?v=DJ3bDE5xN9g

A meu ver o erro da questão foi na P3: perderei meu voto.
Sendo que P1, P4 V. Logo, o restante da P3 é V, e o finalzinho mencionado F (porque Não perco meu voto. é Verdadeiro, então não se perde o voto)

Parabéns ao Rodrigo.

GAB ERRADO

P3 só será verdadeira se “não sou atingido por uma benfeitoria que o candidato faça após eleito” for Falsa.

Olhe para o P1 e P3:

P1: ~V                                    = V

P3: X   ^   ( E ^ ~B)  --> (V=F) =         

Se o ~V (P1) é verdadeiro então o V do P3 é falso.

Conclusão: como a parte X   ^   ( E ^ ~B)  encontramos só conectivos ^(e) para está proposição ser falsa,  a parte “não sou atingido por uma benfeitoria que o candidato faça após eleito” deve ser Falsa. Desta forma, esta proposição será verdadeira pela regra da condicional.

F-->F = V