GabaritoA — válido.
Gabarito: alternativa A — válido. O argumento apresentado é um silogismo categórico clássico, que segue a forma lógica chamada modus ponens (ou, mais precisamente, Barbara na lógica aristotélica). Partindo das premissas "Toda capivara é verde" (premissa maior) e "Ártemis é uma capivara" (premissa menor), a conclusão "Ártemis é verde" é logicamente necessária. Na lógica formal, um argumento é considerado válido quando, se as premissas são verdadeiras, a conclusão deve ser verdadeira — independentemente do conteúdo factual. A questão não avalia se as premissas são verdadeiras no mundo real, apenas a estrutura dedutiva.
Caso | Premissa 1 (Todo A é B) | Premissa 2 (x é A) | Conclusão (x é B) | Resultado Lógico |
|---|---|---|---|---|
1 | V | V | V | Válido |
2 | V | F | F | Válido (premissa falsa) |
3 | F | V | V/F | Válido (premissa falsa) |
4 | F | F | V/F | Válido (premissa falsa) |
O argumento é válido porque a conclusão decorre necessariamente das premissas pela regra do modus ponens: se todo A é B, e este elemento é A, então este elemento é B. A validade lógica independe da verdade empírica das proposições.
Um argumento contraditório seria aquele que contém uma contradição interna (ex.: premissas que não podem ser simultaneamente verdadeiras). Aqui, as premissas são consistentes entre si; não há contradição lógica.
Causal refere-se a argumentos que estabelecem relação de causa e efeito (ex.: "fumar causa câncer"). O argumento em questão é puramente dedutivo, não causal.
Verdadeiro é um predicado aplicado a proposições, não a argumentos. Um argumento pode ser válido ou inválido; a verdade ou falsidade refere‑se às proposições isoladas. O argumento é válido, mas suas premissas podem ser falsas no mundo real (capivaras não são verdes).
O argumento não é inválido, pois atende ao critério de validade formal: sempre que as premissas forem verdadeiras, a conclusão será verdadeira. A invalidez ocorreria se fosse possível ter premissas verdadeiras e conclusão falsa, o que não é o caso.
Em questões de lógica formal, distinga validade de verdade factual. A banca testa justamente esse conceito: um argumento pode ser perfeitamente válido mesmo com premissas absurdas (como capivaras verdes). Decore a definição: válido = estrutura que garante a conclusão a partir das premissas.
Gabarito: letra A.
Link permanente: /questoes/fg121339