Universidade Federal Rural do Semi-Árido – UFERSA
Campus Angicos
2ª Lista de Exercícios
Disciplina: Lógica e Matemática Discreta
Professor: Vinícius Samuel Valério de Souza
1) Mostre que as proposições são tautológicas:
a) (p → p) ˅ (p → ~p) b) (p → q) ˄ p → q c) p ˅ (q ˅ ~p)
d) (p → q) ˄ ~q → ~p e) p ↔ p ˄ (p ˅ q) f) ~(p ˅ ~p) ˅ (q ˅ ~q)
g) (p → q) → (p → q ˅ r) h) (p → q) → (p ˄ r → q ˄ r) i) (p → q) → (p ˅ r → q ˅ r)
2) Determine quais proposições são tautológicas, contraditórias e 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 ˄ r) → (q ˅ ~r ↔ p)