Considerando o conjunto dos números naturais e os seguintes predicados:
: x é par;
: x é ímpar;
Avalie as fórmulas como verdadeiras ou falsas:
Passo 1
O enunciado trabalha no domínio dos números naturais
e define os predicados
: “
é par” e
: “
é ímpar”. Preciso avaliar a fórmula
isto é, verificar se existe algum
que seja simultaneamente par e ímpar.
Passo 2
Por definição, um número natural é par se for divisível por 2 e ímpar se não for divisível por 2. Não há nenhum
que satisfaça ao mesmo tempo ambas as condições. Logo, para todo
, a conjunção
é falsa.
Resposta
Falso