Lista de exercícios de Lógica proposicional e demonstrações com respostas

Lista de exercícios de Lógica proposicional e demonstrações grátis para imprimir: 6 exercícios do nível fácil ao nível de prova, com gabarito. Imprima ou salve como PDF.

Nova lista de exercíciosPratique on-line com dicas

Para professores: pode imprimir, copiar e usar em aula gratuitamente. Cada nova folha tem novos valores e o seu próprio gabarito. Agradecemos um link para o ExamProblems na página da sua disciplina.

Nome: ____________________   Data: ____________

1.Fácil
pqp ∧ ¬q11?10?01?00?

Complete a tabela-verdade (1 = verdadeiro, 0 = falso). Em quantas linhas N é p ∧ ¬q verdadeira?

p ∧ ¬q
N =
2.Fácil
aba ∨ b11100100

Exatamente uma linha da tabela-verdade torna a ∨ b falsa. Clique nessa linha.

a ∨ b
  1. 1a = 1, b = 1
  2. 2a = 1, b = 0
  3. 3a = 0, b = 1
  4. 4a = 0, b = 0
3.Média
¬r ∧ p¬r ∨ ¬pr ∨ ¬p¬r ∧ ¬p

Qual fórmula é logicamente equivalente a ¬(r ∨ p)? Clique nela.

¬(r ∨ p)
  1. 1¬r ∧ p
  2. 2¬r ∨ ¬p
  3. 3r ∨ ¬p
  4. 4¬r ∧ ¬p
4.Média
¬¬r → ¬pp → ¬r¬p → ¬¬r¬r ∧ ¬p

Você quer demonstrar ¬r → p por contraposição. Qual implicação você demonstra em seu lugar? Clique nela.

¬r → p
  1. 1¬¬r → ¬p
  2. 2p → ¬r
  3. 3¬p → ¬¬r
  4. 4¬r ∧ ¬p
5.Difícil
∀x ∃y ¬R(x, y)∃x ∀y ¬R(x, y)∀x ∀y ¬R(x, y)∃x ∃y ¬R(x, y)

Qual afirmação é equivalente a ¬∃x ∀y R(x, y), com a negação movida totalmente para dentro? Clique nela.

¬∃x ∀y R(x, y)
  1. 1∀x ∃y ¬R(x, y)
  2. 2∃x ∀y ¬R(x, y)
  3. 3∀x ∀y ¬R(x, y)
  4. 4∃x ∃y ¬R(x, y)
6.Difícil
∀x ¬F(x)∃x F(x)∀x F(x)∃x ¬F(x)

Qual afirmação é equivalente a ¬∃x F(x), com a negação movida totalmente para dentro? Clique nela.

¬∃x F(x)
  1. 1∀x ¬F(x)
  2. 2∃x F(x)
  3. 3∀x F(x)
  4. 4∃x ¬F(x)

Gabarito

  1. 1. N = 1
  2. 2. a = 0, b = 0
  3. 3. ¬r ∧ ¬p
  4. 4. ¬p → ¬¬r
  5. 5. ∀x ∃y ¬R(x, y)
  6. 6. ∀x ¬F(x)

Soluções completas passo a passo: pratique este tópico em examproblems.com.