Lista 4 de Exercícios
Propaganda
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.
![MUCZNIK, Lúcia Liba [et al .] (coord .) Dicionário do judaísmo](http://s1.studylibpt.com/store/data/003757298_1-b9f7cc5ff13a3b4abca8097c9f9b81a8-300x300.png)
