O argumento cujas premissas sejam as proposições P1, P2, P3 ...

Resolvendo pelo método das premissas verdadeiras:

Onde,

         Vx: voto no candidato X.

       ~Pv: Não perco meu voto.

       ~E: não for eleito.

       Ag: não me der um agrado.

argumento válido = contradição

então, vamos achar a contradição.

p1: ~Voto                                                                                 V

p2: candidatoX(V) ^ ~Eleito(F) ^ ~Agrado(V) ---> Voto(F)          V

p3: candidatoX(V) ^ Eleito(V) ^ ~Benfeitoria(V) ---> Voto(F)      V/ F (contradição)

p4: candidatoX                                                                         V

c: Agrado(F) v Benfeitoria(F)                                                    F

. premissas V e conclusão F

. c: terá que ser F v F =F

. note que a p2 antes do ---> ela tem que ser F, pois F--->F=V. 

. Como antes do ---> temos uma conjunção(^) e já temos os valores de candidatoX e ~Agrado que são V o ~Eleito terá que ser F, 

pois se fosse V a proposição composta ficaria V e V--->F=F .

. Na p3 o Eleito terá que ser V ( pois o ~E é F) e como a proposição composta será V teremos V--->F= F e esta é a contradição.

CONTRADIÇÃO = ARGUMENTO VÁLIDO

SEM CONTRADIÇÃO = ARGUMENTO INVÁLIDO

espero ter ajudado!!

bons estudos!!

Resolução:

https://www.youtube.com/watch?v=IO5ITR08zxE (parte 12:25)

Creio que a maior dificuldade dessa questão seja a transposição das preposições para a linguagem simbólica.

Sendo assim, resolvi da seguinte forma:

P1: ~p
P2: (q ^ ~r ^ ~s) -> p    (OBS: Nesse caso, a vírgula tem o sentido de "e")
P3: (q ^ r ^ ~t) -> p     (OBS: Nesse caso, a vírgula tem o sentido de "e")
P4: q
C: s v t

Como temos uma disjunção na conclusão, podemos utilizar o método da conclusão falsa.

Desse modo, atribuindo "F" para conclusão, e "V" para as premissas, vemos que na P3 o resultado não pode ser "V", pois ficamos com: V -> F. Quando uma condicional apresenta-se dessa forma, ela só pode ser "F".

Concluímos então que a hipótese de premissas "V" e conclusão "F" não se confirma, tornando o argumento válido.

------------------------------

Escreva as proposições no seu caderno e resolva, tenho certeza que acertará!!!!!

P1: V
P2: V
P3: V
P4: V
C: F

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