Você pode fazer essa questão por substituição das palavras usando a condicional do se então (Essa resposta é uma forma de resolução, meu jeito de resolver, e uma forma de aprendizado):
P1: Todo amigo é fiel.
P2: Todos que são fiéis são imortais.
P3: Existem cães que são amigos.
P4: Alguns cães morrem ou alguns gatos são imortais.
- Considere P1 e P3 verdadeiras porque são proposições simples sem condicional:
P1: Todo amigo é fiel. (V)
P3: Existem cães que são amigos. (V)
- Substitua a palava fiéis por amigo, já que é uma condicional(se todos são fiéis logo todos que são amigos são imortais) OU pense na condicional do se então e sua tabela verdade(se a primeira é (v) para que não fique falsa a premissa, então a segunda tem que ser verdadeira também)
P1: Todo amigo é fiel
P2: Todos que são fiéis são imortais.
P2: Todos que são amigos são imortais.
OU
P2: Todos que são fiéis são imortais.
(V) + (V) = V
- Na premissa 4 temos a disjunção OU, que na sua tabela verdade diz que basta uma ser verdadeira. Em nenhum momento se afirma que todos os cães são imortais, só que existem cães que são imortais(já que todo amigo é imortal). Alguns cães morrem (v) e sobre os gatos não há informação, mas posso considerar verdadeiro.
P4: Alguns cães morrem ou alguns gatos são imortais.
ITENS:
A
Algum amigo morre.
(falso porque todo amigo é imortal)
B
Todos os cães são fiéis.
(não posso afirmar que todos os cães são fiéis/amigos, mas sim que existem)
C
Algum imortal é amigo.
(sim, todos que são imortais são amigos)
D
Todos os cães e gatos morrem.
(não posso afirmar que todos os cães morrem, já que existem alguns que são imortais).
Valeu pessoal ^^