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 ↔ (¬b ∧ ¬a)11100100

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

¬b ↔ (¬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

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

¬((¬a ∨ b) ∧ b) → (c ∧ ¬a)
N =
3.Média
tautologiacontradiçãocontingência

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

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

Você quer demonstrar q → p por absurdo. Qual afirmação você supõe no início? Clique nela.

q → p
  1. 1¬q → ¬p
  2. 2¬q ∧ p
  3. 3q ∧ ¬p
  4. 4¬q ∧ ¬p
5.Difícil
qrr ∨ qr¬q11100100

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

r ∨ qr∴ ¬q
  1. 1q = 1, r = 1
  2. 2q = 1, r = 0
  3. 3q = 0, r = 1
  4. 4q = 0, r = 0
6.Difícil

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

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

Gabarito

  1. 1. a = 1, b = 0
  2. 2. N = 2
  3. 3. contradição
  4. 4. q ∧ ¬p
  5. 5. q = 1, r = 1
  6. 6. N = 3

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