Você está na página 1de 2

Exercícios – Cálculo de Predicados

1) Para cada uma das fórmulas a seguir, marque com um X, dentre as fórmulas logo
abaixo, aquela que é equivalente à fórmula dada

2) Considere P(x) como o predicado “x passa mais do que cinco horas em aula todos os
dias”, em que o domínio de x são todos os estudantes. Expresse cada uma dessas
quantificações em português.

3) Escreva fórmulas para representar as frases abaixo:


a. A média de a e b é igual a c
b. Todo professor é funcionário
c. Alguns alunos são funcionários
d. Se alguém matou Maria, este alguém também matou João
e. Todo número primo maior do que 2 é ímpar
f. A média de quaisquer dois números é maior ou igual do que um dos dois
g. Não é verdade que a soma de dois números pares seja um número ímpar
h. Se um número é par, ele não é ímpar

Respostas:

1)

3)

a. Igual(media(a,b),c) - para lógicas sem igualdade

Ou media(a,b)=c

b. ∀x.(Professor(x)→Funcionario(x))
c. ∃x.(Aluno(x)∧Funcionario(x))
d. ∀x.(Matou(x,Maria)→Matou(x,João))
e. ∀x.( (Primo(x)∧Maior_que(x,2)) → Impar(x) )
f. ∀x∀y. ( Maior_igual(media(x,y),x)

Ou Maior_igual(media(x,y),y) )

g. !(∀x∀y.[ (Par(x)∧Par(y)) →Impar(soma(x,y)) ])


h. ∀x.( Par(x) → (!(Impar(x)) ) )