1.

Para cada expressão abaixo, verifique se são verdadeiras e falsas e explique motivo de
sua resposta para cada alternativa.

a) ∀xP (x) ⇔ ¬∃x¬P (x)

b) ∃xP (x) ⇔ ¬∀xP (x)
c) ∀x∃yP (x, y ) ⇔ ∃y∀xP (x, y)
d) ∃!xp(x ) ⇔ ∃x(p(x) ∧ ∀y((x 6= y ) → ¬p(y))

2. O U.D. de n é todos os inteiros ≥ 0 e

p(n)=”n é primo”

e(n)= ”n é par”

Escreva as expressões abaixo em bom português (sem usar variáveis como n, m, etc):

(a) ∀n∃m((¬e(n) ∧ n 6= m) → e(n + m))

(b) ∀m∀n((p(m) ∧ p(n) ∧ m 6= 2 ∧ n 6= 2) → e(m + n))

3. Responda a questão de múltipla escolha.

Se o U.D. de x é todos os estudantes da UFG. Se temos os predicados

L(x): "x estuda Lógica" e E(x): "x é aluno de EngComp".

∀x(E(x) ∧ L(x)) em bom português é?

(a) Todo aluno de EngComp estuda Lógica.

(b) Todo aluno de EngComp está estudando Lógica.

(c) Nenhuma das anteriores.

4. traduza as sentenças em expressões lógicas usando

predicados, quantificadores, e conectivos lógicos. Sejam:

L(x): x estuda Lógica

F(x): x joga futebol

U.D. de x é todos os estudantes da EngComp

a) Todo estudante joga futebol.

b) Nenhum estudante joga futebol.

c) Alguns estudantes jogam futebol.

d) Todo estudante de Lógica joga futebol.

e) Alguns estudantes de Lógica jogam futebol.

PARTE II - PESQUISA

5. (30 pontos) Em classe fizemos exercícios de dedução simples

na última aula. Pesquise sobre argumentação/dedução usando

regras de inferência proposicionais (livro texto, pág. 66) e

regras de inferência com quantificadores (pág. 70).

Prepare uma apresentação (.pptx ou similar) sobre tipos de

falácias lógicas encontradas em argumentos (pág. 60 ou

outro texto**) usando exemplos da lógica proposicional e da lógica

de predicados para explicar cada falácia encontrada em um

argumento. Indique os 5 tipos de falácias que julgar mais

interessantes.

**Sugestões de leitura:

0-https://bookofbadarguments.com/pt/ (MUITO BOM!)

1-https://www.mindtools.com/pages/article/newTMC_81.htm

2-https://papodehomem.com.br/falacias-logicas/