Flashcard FC329758
O que torna uma frase declarativa uma proposição passível de atribuição de valor lógico?
Lógica de Proposições
IBGP · 2021
O que torna uma frase declarativa uma proposição passível de atribuição de valor lógico?
Mostrar resposta e comentário
Resposta
É uma afirmação com sentido completo que pode ser avaliada como verdadeira ou falsa.Explicação:
Uma proposição (declarativa) é truth-apt: tem conteúdo factual verificável ou refutável. Pode ser formalizada em lógica de predicados quando envolve quantificação, permitindo teste empírico ou dedutivo.
Exemplo:
Frase: “Há alunos na sala.”
Formalização: \( \exists x\,(Aluno(x)\land NaSala(x)) \)
Isso é uma proposição porque afirma a existência de indivíduos com uma propriedade e pode ser verificada obser\-vacionalmente.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Proposições
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/329343
Conteúdo do catálogo FC Concursos · Atualizado em