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

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

¬(¬b ∧ ¬(a ∧ c)) ∨ (¬c ↔ a)
N =
2.Fácil
pq¬(¬p ∨ (p ∧ ¬q))11?10?01?00?

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

¬(¬p ∨ (p ∧ ¬q))
N =
3.Média
tautologiacontradiçãocontingência

(r ∨ p) ∧ (¬r ∧ ¬p) é uma tautologia, uma contradição ou uma contingência? Clique na sua resposta.

(r ∨ p) ∧ (¬r ∧ ¬p)
  1. 1tautologia
  2. 2contradição
  3. 3contingência
4.Média
¬r → ¬¬qr ∧ ¬¬q¬q → r¬¬q → ¬r

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

r → ¬q
  1. 1¬r → ¬¬q
  2. 2r ∧ ¬¬q
  3. 3¬q → r
  4. 4¬¬q → ¬r
5.Difícil
prp ∨ rp¬r11100100

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

p ∨ rp∴ ¬r
  1. 1p = 1, r = 1
  2. 2p = 1, r = 0
  3. 3p = 0, r = 1
  4. 4p = 0, r = 0
6.Difícil
r¬q¬q ∧ rq

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

q → pp → r¬r
  1. 1r
  2. 2¬q
  3. 3¬q ∧ r
  4. 4q

Gabarito

  1. 1. N = 2
  2. 2. N = 1
  3. 3. contradição
  4. 4. ¬¬q → ¬r
  5. 5. p = 1, r = 1
  6. 6. ¬q

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