Flashcard FC684035
Como uma sentença singular verdadeira implica existência na lógica de predicados?
Lógica de Proposições
QUADRIX · 2025
Como uma sentença singular verdadeira implica existência na lógica de predicados?
Mostrar resposta e comentário
Resposta
Sim. Uma sentença individual verdadeira como "Sabrina é uma borboleta" permite inferir ∃x B(x), pois afirma a existência de pelo menos um indivíduo com a propriedade.• Declaração universal: não implica existência por si só.
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/670517
Conteúdo do catálogo FC Concursos · Atualizado em