lc exercicio 04

•

IFRN

0

Andre Luiz da S. Relâmpago

06/05/2016

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Você também pode ser Premium ajudando estudantes

E aí, curtiu este material?

Ajude a incentivar outros estudantes a melhorar o conteúdo

Gostou desse material? Compartilhe! 🧡

Lógica para Computação

1.517 Materiais compartilhados

Baixe o app para aproveitar ainda mais

Leia os materiais offline, sem usar a internet. Além de vários outros recursos!

Prévia do material em texto

Lógica Computacional
Instituto Federal do Rio Grande do Norte
1 de abril de 2016
Exercício 4
1. Determinar quais das seguintes proposições são tautológicas, contra-válidas ou contingentes:
(a) p→ (¬p→ q)
(b) ¬p ∨ q → (p→ q)
(c) p→ (q → (q → p))
(d) ((p→ q)↔ q)→ p
(e) p ∨ ¬q → (p→ ¬q)
(f) ¬p ∨ ¬q → (p→ q)
(g) p→ (p ∨ q) ∨ r
(h) p ∧ q → (p↔ q ∨ r)
(i) ¬(p ∧ ¬p)
(j) p ∨ ¬p
(k) p ∨ ¬(p ∧ q)
(l) p ∧ q → (p↔ q)
(m) p ∨ (q ∧ ¬q)↔ p
(n) (p ∧ q) ∧ ¬(p ∨ q)
(o) ¬p ∧ (p ∧ ¬q)
(p) p ∨ q → p ∧ q
(q) (q → p)→ (p→ q)
Diego Silveira Costa Nascimento 1 diego.nascimento@ifrn.edu.br