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
pq¬(¬q ∨ p) ∧ ¬p11?10?01?00?

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

¬(¬q ∨ p) ∧ ¬p
N =
2.Fácil
ab¬b ∧ ¬a11?10?01?00?

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

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

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

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

Qual fórmula é logicamente equivalente a b ↔ c? Clique nela.

b ↔ c
  1. 1(b → c) ∧ (c → b)
  2. 2(b → c) ∧ (¬c → ¬b)
  3. 3(b → c) ∨ (c → b)
  4. 4b ∧ c
5.Difícil
r¬q¬rq ∧ ¬r

São dadas as premissas q → r; q. Qual conclusão decorre delas? Clique nela.

q → rq
  1. 1r
  2. 2¬q
  3. 3¬r
  4. 4q ∧ ¬r
6.Difícil
¬pq ∨ rp ∨ rp ∧ r

São dadas as premissas q ∨ p; ¬q ∨ r. Qual conclusão decorre delas? Clique nela.

q ∨ p¬q ∨ r
  1. 1¬p
  2. 2q ∨ r
  3. 3p ∨ r
  4. 4p ∧ r

Gabarito

  1. 1. N = 1
  2. 2. N = 1
  3. 3. N = 7
  4. 4. (b → c) ∧ (c → b)
  5. 5. r
  6. 6. p ∨ r

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