DISCIPLINA: LÓGICA DE PREDICADOS

CÓDIGO: 114100
PROFESSOR(ES): Juliane Silveira Freire
da Silva

ATIVIDADE COMPLEMENTAR 5

TEMA:LÓGICA DE PREDICADOS
EDUCAÇÃO A DISTÂNCIA

Exercício 1: Formalize as sentenças abaixo usando a seguinte interpretação, usando como

domínio os seres humanos. E determine o valor-lógico segundo o bom senso identificado pelo
domínio dos conhecimentos gerais envolvidos.
e, símbolo para a constante (ser humano)
Érico Veríssimo
r, símbolo para a constante (ser humano)
B(x), símbolo de predicado unário, x é brasileiro. Ronaldinho Gaúcho
J(x), símbolo de predicado unário, x é jogador de futebol c, símbolo para a constante (ser humano)
KaKá
E(x), símbolo de predicado unário, x é escritor
m, símbolo para a constante (ser
G(x), símbolo de predicado unário, x é gaúcho
humano) Machado de Assis.
F(x,y), símbolo de predicado unário, x é filho de y z, símbolo para a constante (ser humano)
A(x,y), símbolo de predicado binário, x ama y Zidane
s, símbolo para a constante (ser humano)
Mário Vargas Lossa

a) Érico Veríssimo é gaúcho.

b) Kaká é gaúcho e jogador de futebol.
c) Kaká e Ronaldinho Gaúcho são gaúchos e jogadores de futebol.
d) Machado de Assis é gaúcho.
e) Se Machado de Assis é Brasileiro então ele é gaúcho.
f) Zidane não é gaúcho.
g) Ronaldinho Gaúcho é filho de Érico Veríssimo.
h) Qualquer um é brasileiro.
i) Alguém é filho de Érico Veríssimo.
j) Ninguém ama de Érico Veríssimo.
k) Existe um escritor brasileiro.
l) Todos os brasileiros são escritores.
m) Todos os brasileiros que são gaúchos são jogadores de futebol.
n) Nem todos os jogadores de futebol não são gaúchos.
o) Todos amam de Kaká.
p) Algum gaúcho gosta de Ronaldinho Gaúcho e Érico Veríssimo.
q) Alguém não é filho de Ronaldinho Gaúcho.
r) Ronaldinho Gaúcho ama todo mundo.
s) Se Zidane não é brasileiro então nem todos são brasileiros.

Exercício 2: Sendo Domínio = {1,2,3,4,5,6,7}, escolha um quantificador adequado para que a

sentença possua valor-lógico verdadeira.
a) x + 4 = 8
b) x2 – 5x + 6 = 0
c) 5x + 2 ≥ 4
d) –x2 + 8x = 0

Exercício 3: O escopo de um quantificador é a fórmula referenciada a esse quantificador, isto é

o escopo define a abrangência do quantificador. Considera como domínio o conjunto Domínio=
{3, 5, 7, 9, 11, 13, 15,17}. Apresenta uma sentença em português para expressar a afirmação da
fórmula e determina o valor-lógico (verdadeiro/falso) de cada uma das fórmulas nos domínios
indicados. Justifica tua resposta.

Exercício 4:
Considera como domínio o conjunto Domínio= {𝑥 ∈ ℤ| − 2 < 𝑥 ≤ 15}. Apresenta uma sentença em
português para expressar a afirmação da fórmula e determina o valor-lógico (verdadeiro/falso) de
cada uma das fórmulas nos domínios indicados. Justifica tua resposta apresentando o conjunto
solução (conjunto verdade).

Exercício 5:
Considera como domínio os conjuntos indicados abaixo apresenta uma sentença em português
para expressar a afirmação da fórmula e determina o valor-lógico (verdadeiro/falso) de cada uma
das fórmulas nos domínios indicados. Justifica tua resposta apresentando o conjunto verdade
(conjunto solução) da propriedade descrita na sentença.