Exercício 11. Verifique se é um argumento válido: (a) A→ B A→ C ∴ A→ (B∧ C) (b) ¬R(c) ∀t ∈ D(P(t)→ Q(t)) ∀t ∈ D(Q(t)→ R(t)) ∴ ¬P(c)

Para verificar se um argumento é válido, é necessário analisar a estrutura lógica das proposições e verificar se a conclusão realmente segue logicamente das premissas apresentadas. Vamos analisar cada parte do argumento: (a) A→ B A→ C ∴ A→ (B∧ C) Neste caso, se assumirmos que A é verdadeiro, então B e C também devem ser verdadeiros para que a conclusão A→ (B∧ C) seja válida. Portanto, este argumento é válido. (b) ¬R ∀t ∈ D(P(t)→ Q(t)) ∀t ∈ D(Q(t)→ R(t)) ∴ ¬P(c) Neste caso, a partir das premissas apresentadas, não é possível concluir que ¬P(c) é verdadeiro. A conclusão não segue logicamente das premissas, portanto, este argumento não é válido. Portanto, a resposta correta é: (a) O argumento é válido. (b) O argumento não é válido.