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.
Download
Random flashcards
Anamnese

2 Cartões oauth2_google_3d715a2d-c2e6-4bfb-b64e-c9a45261b2b4

A Jornada do Herói

6 Cartões filipe.donner

Criar flashcards