As seguintes proposições lógicas formam um conjunto de...

GABARITO CERTO

Para um argumento ser valido é necessário que minhas proposições sejam verdadeiras e minha conclusão também seja verdadeira OU que minha conclusão seja falsa e com ela eu tenha pelo menos UMA PROPOSIÇÃO FALSA. Vamos considerar nossa conclusão FALSA. Assim, se encontrarmos pelo menos uma proposição FALSA, então o argumento será válido. 

 P1: Se Pedro não é músico (V), então André é servidor da ABIN (V).

 P2: Se André é servidor da ABIN (V), então Carlos não é um espião (V).

 P3: Carlos é um espião.(F) --> Uma proposição FALSA

 C: Pedro é músico (F) --> Conclusão falsa

GAB: CERTO

~ PM  -> AA = V       (Se Pedro não é músico,  então André é servidor da ABIN)

  AA -> ~CE = V       (Se André é servidor da ABIN, então Carlos não é um espião)

  CE= V                    (Carlos é um espião)

Então:

~PM (F) -> AA (F) = V

  AA (F) -> ~CE (F) = V

  CE= V

Conclusão:

PM = V  (Pedro é músico)  = Argumento válido.

Se a proposição lógica “Pedro é músico.” for a conclusão desse argumento, então, as premissas juntamente com essa conclusão constituem um argumento válido. CERTO 

DICA: Sempre comece pela premissa avulsa, caso haja.

Exemplo: 

•Carlos é um espião. ( v )           

•Se Pedro não é músico ( v ) , então André é servidor da ABIN. ( f )      --> VERA-FICHER

•Se André é servidor da ABIN ( v ) , então Carlos não é um espião. ( v ) faça o teste de equivalência (~q-->~p)

Sabemos qual proposição é falsa, pela tabela verdade, logo descobrimos a lógica argumentativa.

 Podemos assumir que as premissas são todas verdadeiras para tentar encontrar a conclusão.

Assumindo que Carlos é um espião, na segunda premissa vemos que o trecho “Carlos não é um espião” é F, de modo que “André é servidor da ABIN” deve ser F também.

Com isso, na primeira premissa, vemos que “André é servidor da ABIN” é F, de modo que “Pedro não é músico” deve ser F também, o que nos leva a concluir que Pedro é músico.

Portanto, esta é uma conclusão que torna o argumento válido.

GAB: CERTO

sério, a matéria de raciocínio lógico tem que ter um professor pra resolver!