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
ab(b → a) → (b ↔ a)11100100

Exatamente uma linha da tabela-verdade torna (b → a) → (b ↔ a) falsa. Clique nessa linha.

(b → a) → (b ↔ a)
  1. 1a = 1, b = 1
  2. 2a = 1, b = 0
  3. 3a = 0, b = 1
  4. 4a = 0, b = 0
2.Fácil

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

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

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

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

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

¬(q ∧ p)
  1. 1¬q ∨ p
  2. 2¬q ∧ ¬p
  3. 3¬q ∨ ¬p
  4. 4¬q ∧ p
5.Difícil

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

(s ∨ p) ↔ (q ∧ (s → ¬r))
N =
6.Difícil

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

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

Gabarito

  1. 1. a = 1, b = 0
  2. 2. N = 8
  3. 3. N = 1
  4. 4. ¬q ∨ ¬p
  5. 5. N = 6
  6. 6. N = 8

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