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ícios Pratique 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

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

¬(¬(c ∨ ¬a) → (b → (¬b ∨ c)))

N =

2.Fácil

Exatamente uma linha da tabela-verdade torna ¬((p ∧ q) → (p → ¬q)) verdadeira. Clique nessa linha.

¬((p ∧ q) → (p → ¬q))

1p = 1, q = 1
2p = 1, q = 0
3p = 0, q = 1
4p = 0, q = 0

3.Média

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

((¬p ∧ ¬r) ∨ ¬r) ∨ ¬(q ∧ (p ∨ q))

N =

4.Média

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

(r ∨ q) ∨ ¬((r ↔ p) ↔ q)

N =

5.Difícil

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

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

N =

6.Difícil

Qual afirmação é equivalente a ¬∃x ∀y R(x, y), com a negação movida totalmente para dentro? Clique nela.

¬∃x ∀y R(x, y)

1∃x ∀y ¬R(x, y)
2∃x ∃y ¬R(x, y)
3∀x ∃y ¬R(x, y)
4∀x ∀y ¬R(x, y)

Gabarito

1. N = 1
2. p = 1, q = 1
3. N = 6
4. N = 7
5. N = 3
6. ∀x ∃y ¬R(x, y)

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