- ID
- 20866
- Banca
- CESPE / CEBRASPE
- Órgão
- Banco do Brasil
- Ano
- 2007
- Provas
- Disciplina
- Raciocínio Lógico
- Assuntos
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 os próximos itens.
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}.