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

Quantas linhas N tem a tabela-verdade completa de ((¬p ∧ q) ↔ p) → (¬r → (q ∨ r))?

((¬p ∧ q) ↔ p) → (¬r → (q ∨ r))
N =
2.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 =
3.Média
abc¬ac ∨ ¬a((¬c ∧ a) ↔ ¬b) ↔ (c ∨ ¬a)111?110?101?100?011?010?001?000?

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

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

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

(r ∧ q) ∨ ((p ∨ r) → q)
N =
5.Difícil

Quantas das 16 linhas da tabela-verdade tornam (¬c → (¬d ∨ a)) ∧ ¬((¬d ↔ a) → b) verdadeira? Chame esse número de N.

(¬c → (¬d ∨ a)) ∧ ¬((¬d ↔ a) → b)
N =
6.Difícil

Quantas das 16 linhas da tabela-verdade tornam ((r ∧ s) ∨ (q ∨ s)) ∨ (p ↔ ¬(¬q → p)) verdadeira? Chame esse número de N.

((r ∧ s) ∨ (q ∨ s)) ∨ (p ↔ ¬(¬q → p))
N =

Gabarito

  1. 1. N = 8
  2. 2. N = 3
  3. 3. N = 4
  4. 4. N = 5
  5. 5. N = 3
  6. 6. N = 12

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