Questão FC509424
Considerando que cada letra representa um predicado lógico, assinale a alternativa que apresenta um silogismo que não é válido.
Lógica de Proposições
IBFC · 2018
Considerando que cada letra representa um predicado lógico, assinale a alternativa que apresenta um silogismo que não é válido.
- Todo X é Y; nenhum Y é Z; logo, nenhum X é Z
- Todo P é Q; algum R é P; logo, algum Q é R
- Nenhum S é T; todo T é R; logo, algum S é R
- Algum A é B; nenhum B é C; logo, algum A não é C
Mostrar resposta e comentário
Gabarito
Certo
Comentário do professor
Na alternativa C as premissas são: Nenhum S é T e Todo T é R, e a conclusão é Algum S é R. Logo, as premissas são universais (negação universal e afirmação universal) e a conclusão é particular existencial.
Isso é inválido porque nada nas premissas garante a existência de um elemento de S que pertença a R. Podemos dar um contraexemplo: tome o universo {a,b} com T={a}, R={a} e S={b}. As duas premissas são verdadeiras (S não intersecta T, e T está contido em R), mas a conclusão "algum S é R" é falsa.
Em termos lógicos, com apenas premissas universais não se pode inferir necessariamente uma proposição existencial; essa falha é chamada de falácia existencial.
Conteúdo do catálogo FC Concursos · Atualizado em