Baixe o app para aproveitar ainda mais
Prévia do material em texto
�� 5ª Lista de Exercícios – Tautologia, Contradição e Contingência Mostrar que as seguintes proposições são tautológicas: (p ( p) v (p ( ~p) (p ( p ^ ~p) ( ~p p v (q v ~p) (p ( q) ^ ~q ( ~p (p v q) ^ ~p ( q p ( p ^ (p v q) ~(p v ~p) v (q v ~q) ~(p ^ ~p) v (q ( ~q) Mostrar que as seguintes proposições são tautológicas: (p ( q) ( (p ^ r ( q) (p ( q) ( (p ( q v r) (p ( q) ( (p ^ r ( q ^ r) (p ( q) ( (p v r ( q v r) Mostrar que as seguintes proposições são contingentes: p v q ( p ^ q (q ( p) ( (p ( q) (p ( (p ( q)) ( q p ( (p ( q ^ ~q) Mostrar que as seguintes proposições são tautológicas, contraválidas ou contingentes: p ( (~p ( q) ~p v q ( (p ( q) p ( (q ( (q ( p)) ((p ( q) ( q) ( p p v ~q ( (p ( ~q) ~p v ~q ( (p ( q) p ( (p v q) v r p ^ q ( (p ( q v r) Resposta: 4) (a), (b), (c), (g), (h) tautológicas (d), (e), (f) contingentes
Compartilhar