Unidade Acadêmica de Graduação - UAGRAD

Atividade Acadêmica: 093915 – Lógica

Modalidade: A Distância
Prof.: Monica

Questões sobre Enunciados categóricos

Questão 1. Formalize os argumentos com lógica de predicados. Considere o domínio formado pelo mundo
inteiro e os predicados:
N(x) para ”x é um nerd”
J(x) para ”x é um jogador de pedra, papel, tesoura, lagarto, Spock”
P(x) para ”x não é perdedor”
s para ”Sheldon”
l para ”Leonard”

1. Se não é verdade que Sheldon é nerd e perdedor, então é jogador de pedra, papel, tesoura, lagarto, Spock.
Existem jogadores de pedra, papel, tesoura, lagarto, Spock e nerds. Portanto, todos os nerds são perde-
dores ou Sheldon não é jogador de pedra, papel, tesoura, lagarto, Spock.

Resposta: (¬N (s) ∧ ¬P (s)) → J (s), ∃x (J (x) ∧ N (x)) ` ∀x (N (x) → ¬P (x)) ∨ ¬J (s)

2. Existem nerds que não são jogadores de pedra, papel, tesoura, lagarto, Spock e não são perdedores. Se
Leonard e Sheldon são jogadores de pedra, papel, tesoura, lagarto, Spock, então são nerds. Portanto,
não é verdade que todos os jogadores de pedra, papel, tesoura, lagarto, Spock são nerds.

Resposta: ∃x (N (x) ∧ ¬J (x) ∧ P (x)), (J (l) ∧ J (s)) → (N (l) ∧ N (s)) ` ¬∀x (J (x) → N (x))

Questão 2. Resolva as questões apresentadas na atividade e poste as soluções na tarefa. Simbolize os argu-
mentos da lógica de predicados. Indique os predicados e monte o argumento.

1. Nenhum cachorro é um gato. Garfield não é um cachorro. Portanto, Garfield é um gato.

Resposta:
C(x): x é um cachorro;
G(x): x é um gato;
g: Garfield
∀x (C(x) → ¬G(x)), ¬C(g) ` G(g)

2. Todos os gatos ou cachorros são mamíferos. Todos os animais são mamíferos. Logo, todo os gatos são
animais.
Resposta:
C(x): x é um cachorro;
G(x): x é um gato;
M(x): x é um mamífero;
A(x): é um animal
∀x ((C(x) ∨ G(x)) → M (x)), ∀x (A(x) → M (x)) ` ∀x (G(x) → A(x))
Unidade Acadêmica de Graduação - UAGRAD
Atividade Acadêmica: 093915 – Lógica
Modalidade: A Distância
Prof.: Monica

Questão 3. Usando os símbolos predicados indicados e quantificadores apropriados, formalize os enuncia-

dos a seguir, considere o domínio formado pelo mundo inteiro:
Notação:
P(x) para x é um político
Q(x) para x é desonesto

1. Nenhum político é desonesto.

Resposta: ∀x (P (x) → ¬Q(x))
Resposta: ¬∃x (p(x) ∧ Q(x))

2. Não é verdade que todo político é desonesto.

Resposta: ∃x (P (x) ∧ ¬Q(x))
Resposta: ¬∀x(P (x) → Q(x))

3. Existe um político honesto.

Resposta: ∃x (P (x) ∧ ¬Q(x))

4. Todos políticos são honestos.

Resposta: ∀x (P (x) → ¬Q(x))