FC ConcursosFC Concursos

Questão FC150041

Na lógica de primeira ordem, uma proposição é funcional quando é expressa por um predicado que contém um número finito de variáveis e é interpretada como verdadeira (V) ou falsa (F

Lógica de Primeira Ordem

CEBRASPE (CESPE)

Na lógica de primeira ordem, uma proposição é funcional quando é expressa por um predicado que contém um número finito de variáveis e é interpretada como verdadeira (V) ou falsa (F) quando são atribuídos valores às variáveis e um significado ao predicado. Por exemplo, a proposição “Para qualquer x, tem-se que x – 2 > 0” possui interpretação V quando x é um número real maior do que 2 e possui interpretação F quando x pertence, por exemplo, ao conjunto {–4, –3, –2, –1, 0}.

Com base nessas informações, julgue o próximo item.

A proposição funcional “Existem números que são divisíveis por 2 e por 3” é verdadeira para elementos do conjunto {2, 3, 9, 10, 15, 16}.
Mostrar resposta e comentário

Gabarito

Errado

Comentário do professor

Comentário: A proposição "Existem números que são divisíveis por 2 e por 3" afirma a existência de elementos que atendem a essa condição, ou seja, que são múltiplos de 6 (o mínimo múltiplo comum de 2 e 3). No conjunto fornecido {2, 3, 9, 10, 15, 16}, não há números que sejam divisíveis simultaneamente por 2 e por 3. Portanto, a proposição é falsa para este conjunto, tornando a afirmação original errada.

Conteúdo do catálogo FC Concursos · Atualizado em

Continue aprendendo