Lista 4 de Exercícios

Lógica: 4ª LISTA DE EXERCÍCIOS
Cálculo proposicional clássico
I. Determine se as fórmulas seguintes são tautologias, contradições ou contingências:
II. Usando tabelas de verdade, verifique se as conclusões indicadas abaixo de fato são conseqüência
tautológica das premissas, ou não:
III. Formalize na linguagem do CPC as sentenças abaixo e verifique se são ou não tautologias:
1) Ou o judaísmo é monoteísta ou não.
2) A religião tem sentido somente se existe vida depois da morte.
3) Se o cristianismo é monoteísta, então ou é monoteísta ou a religião romana é politeísta.
4) Se ele é bramanista, então considera o mundo uma ilusão e se não considera o mundo uma
ilusão, então ele não é bramanista.
5) Se o judaísmo é monoteísta ou não, então o judaísmo não é monoteísta.