Flashcard FC368175
Como verificar se um argumento com quantificadores universais e existenciais é válido?
Lógica de Proposições
Instituto Consulplan · 2024
Como verificar se um argumento com quantificadores universais e existenciais é válido?
Mostrar resposta e comentário
Resposta
Verifica-se se não há nenhuma interpretação em que todas as premissas sejam verdadeiras e a conclusão falsa.Na prática, use regras como:
• Se houver Todo A é B e Algum A é C, pode-se inferir Algum B é C (instanciação existencial pela inclusão).
• Se houver Todo A é B e Todo B é C, então Todo A é C (transitividade de universais).
Exemplo:
1) Todo enfermeiro é profissional de saúde.
Algum enfermeiro trabalha em pediatria.
Logo: Algum profissional de saúde trabalha em pediatria.
2) Todo cão é mamífero.
Todo mamífero é vertebrado.
Logo: Todo cão é vertebrado.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/364787
Conteúdo do catálogo FC Concursos · Atualizado em