Flashcard FC831597
Se for válida a afirmação "Todos os F são P", o que se pode inferir ao saber que um indivíduo não é P?
Lógica de Proposições
SELECON · 2023
Se for válida a afirmação "Todos os F são P", o que se pode inferir ao saber que um indivíduo não é P?
Mostrar resposta e comentário
Resposta
Conclui-se que esse indivíduo não é F.Explicação:
Formalmente, "Todos os F são P" é \( \forall x (F(x)\rightarrow P(x))\).
Da implicação decorre a contrapositiva equivalente, \( \neg P(x)\rightarrow \neg F(x)\).
Portanto, para um indivíduo a, se \( \neg P(a)\) então \( \neg F(a)\).
Exemplo:
Considere "Todos os livros da estante são encadernados", \( \forall x (LivroNaEstante(x)\rightarrow Encadernado(x))\).
Se um livro b não é encadernado, \( \neg Encadernado(b)\), então \( \neg LivroNaEstante(b)\), o livro não está naquela estante.
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/829083
Conteúdo do catálogo FC Concursos · Atualizado em