Exercício 11 · Exame Nacional Filosofia 2.ª fase 2023
Tema: Lógica formal: validade, solidez e lógica proposicional · Do exame 2.ª fase (2023)
Enunciado
11. Atente no argumento seguinte.
Francisco Sanches não nasceu na Itália, dado ter nascido em Braga ou em Tui; e é evidente que, se nasceu em Braga ou em Tui, não nasceu na Itália.
Mostre que o argumento é válido, recorrendo às regras de inferência estudadas.
Na sua resposta, deve:
identificar as premissas e a conclusão do argumento;
formalizar o argumento, começando por indicar o dicionário utilizado;
indicar a regra de inferência usada para chegar à conclusão.
Resolução
Segundo os critérios oficiais de classificação
identificar as premissas e a conclusão do argumento
Resposta: Premissas: Se Francisco Sanches nasceu em Braga ou em Tui, não nasceu na Itália; Francisco Sanches nasceu em Braga ou em Tui. Conclusão: Francisco Sanches não nasceu na Itália.
formalizar o argumento, começando por indicar o dicionário utilizado
Resposta: Dicionário: P: Francisco Sanches nasceu em Braga. Q: Francisco Sanches nasceu em Tui. R: Francisco Sanches nasceu na Itália. Formalização: (P ∨ Q) → ¬R P ∨ Q ∴ ¬R
indicar a regra de inferência usada para chegar à conclusão
Resposta: Modus ponens
A explicação passo a passo é Premium. Premium
Resolve-o aqui mesmo: correção automática, pistas e solução passo a passo.
‹ Exercício 1 · 2.ª fase 2023 · Exercício 12 · 2.ª fase 2023 ›
Mais exercícios de Lógica formal: validade, solidez e lógica proposicional
- Exercício 12 · 2.ª fase 2023
- Exercício 1 · 1.ª fase 2022
- Exercício 5 · 1.ª fase 2022
- Exercício 6 · 1.ª fase 2022
O exame completo · 2.ª fase (2023)