Flashcard FC891338
Quando uma sentença com quantificadores é considerada uma proposição lógica?
Lógica de Proposições
VUNESP · 2023
Quando uma sentença com quantificadores é considerada uma proposição lógica?
Mostrar resposta e comentário
Resposta
Quando for uma frase declarativa que admite valor de verdade e estiver fechada, isto é, todas as variáveis vinculadas.Uma proposição lógica precisa afirmar algo concreto passível de ser verdadeiro ou falso.
Se a sentença usa quantificadores, é necessário que não haja variáveis livres, ou seja, todas as variáveis devem estar vinculadas, tornando a sentença fechada e avaliada logicamente.
Exemplo:
Todos os livros da biblioteca foram catalogados.
Formalização: \( \forall x\,(L(x)\to C(x)) \), onde L(x) significa "x é um livro da biblioteca" e C(x) significa "x está catalogado".
Como todas as variáveis estão vinculadas pelo quantificador, a fórmula é fechada e, portanto, é uma proposição lógica que pode ser verificada como verdadeira ou falsa conforme os fatos.
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/41860
Conteúdo do catálogo FC Concursos · Atualizado em