UNIPAMPA - Universidade Federal do Pampa

Campus Bagé
Curso: Licenciatura em Matemática
Disciplina: BA011006 - Introdução à Lógica Matemática
Professor: Fábio Ronei Rodrigues Padilha

2ª LISTA DE EXERCÍCIOS: TAUTOLOGIA, CONTRADIÇÃO, CONTINGÊNCIA E

IMPLICAÇÃO LÓGICA

1) Construa a tabela verdade das proposições a seguir e verifique se as mesmas são tautologias,
contradições ou contingências:

a) ( ( p ∨ q ) →~ p ) → ( q ∧ p ) f) (( p ∨ q ) ↔ ( q ∧ p )) → (( r ∧ p ) ∨ q )
b) ( p ↔ ~ q ) ∨ r g) ( p → ( q → r ) ) → ( ( p ∧ ( q ∧ r )) → ( p ∧ ( p ∨ r ) ) )

c) ~ r ∨ ( p ↔ q ) h) ~ ( ~ ( p ∧ q ) ) ↔ ( ~ p ∨ ~ q )

d) (( p → q ) → r ) ↔ ( p → ( q → r ) ) i) ( p → q ) → ( ( q → r ) → ( p → r ) )

( )
e) ~ ~ ( ~ ( p ∧ ~ q ) ) ∧ ( ~ p ∧ ~ r ) j) ~ ( p ∨ q ) ↔ ( ~ p ∧ ~ q )

Respostas: Contingências: a, b, c, d, e, f
Tautologias: g, i, j
Contradições: h

2) Mostrar que:

a) q  p → q b) q  p ∧ q ↔ p

3) Mostrar que p ↔ ~ q não implica p → q .

4) Mostrar que p não implica p ∧ q e que p ∨ q não implica p .

5) Mostrar que: ( x = y ∨ x < 4 ) ∧ x </ 4  x = y .

6) Verifique as seguintes implicações:

a) ( p ∧ ( p → q ) )  q c) ( p → q )  ( ( p ∧ r ) → ( q ∧ r ) )

b) (( p → q ) ∧ ( q → r ))  ( p → r ) d) (( p ↔ q ) ∧ ( q ↔ r ))  ( p ↔ r )