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
pqq ∧ p11100100

Exatamente uma linha da tabela-verdade torna q ∧ p verdadeira. Clique nessa linha.

q ∧ p
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
2.Fácil

A tabela-verdade completa de (b ∧ c) ∨ ¬((¬a ∨ c) ∨ (¬a ∨ b)) está escrita. Em quantas linhas N tem a = 1 e c = 0?

(b ∧ c) ∨ ¬((¬a ∨ c) ∨ (¬a ∨ b))
N =
3.Média
pqr¬r ∨ p(¬r ∨ p) ↔ q((¬q ∧ r) ↔ p) ∨ ((¬r ∨ p) ↔ q)111?110?101?100?011?010?001?000?

Em quantas das 8 linhas da sua tabela-verdade ((¬q ∧ r) ↔ p) ∨ ((¬r ∨ p) ↔ q) é verdadeira? Chame esse número de N.

((¬q ∧ r) ↔ p) ∨ ((¬r ∨ p) ↔ q)
N =
4.Média
q ∧ (r → p)(q → p) ∧ (r → p)(q → r) → pq → (r → p)

Qual fórmula é logicamente equivalente a (q ∧ r) → p? Clique nela.

(q ∧ r) → p
  1. 1q ∧ (r → p)
  2. 2(q → p) ∧ (r → p)
  3. 3(q → r) → p
  4. 4q → (r → p)
5.Difícil
prr → p¬r¬p11100100

O argumento com premissas r → p; ¬r e conclusão ¬p é inválido. Clique na linha da tabela-verdade que é um contraexemplo.

r → p¬r∴ ¬p
  1. 1p = 1, r = 1
  2. 2p = 1, r = 0
  3. 3p = 0, r = 1
  4. 4p = 0, r = 0
6.Difícil
q ∧ ¬ppq¬q

São dadas as premissas (r ∧ q) → p; r; ¬p. Qual conclusão decorre delas? Clique nela.

(r ∧ q) → pr¬p
  1. 1q ∧ ¬p
  2. 2p
  3. 3q
  4. 4¬q

Gabarito

  1. 1. p = 1, q = 1
  2. 2. N = 2
  3. 3. N = 7
  4. 4. q → (r → p)
  5. 5. p = 1, r = 0
  6. 6. ¬q

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