Considere o modelo
, onde
, com os seguintes predicados:
: x é um número par
: x é um número ímpar
: x é maior que 2
Agora julgue se cada fórmula a seguir é verdadeira.
Passo 1
O enunciado define o modelo
com universo
e os predicados
: “
é par”,
: “
é ímpar”,
: “
”.
Queremos decidir se
Queremos decidir se
é verdadeiro em
.
Passo 2
Primeiro, identifiquemos os
que satisfazem
, ou seja,
. No nosso universo, apenas
satisfaz
. Logo
Passo 3
Agora verificamos
para
. Como
significa “
é ímpar”, de fato
é verdadeiro.
Passo 4
Encontramos um elemento
que simultaneamente satisfaz
e
. Portanto a fórmula
é satisfeita em
.
Resposta
A fórmula é verdadeira.