Lista 4 de Exercícios com respostas

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.
Sim, é uma tautologia: A ∨ ¬A
2) A religião tem sentido somente se existe vida depois da morte.
Não é uma tautologia: A ↔ B
3) Se o cristianismo é monoteísta, então ou é monoteísta ou a religião romana é politeísta.
Sim, é uma tautologia: A → (A ∨ B)
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.
Não é uma tautologia: (A → B) ∧ (¬B → ¬A)
5) Se o judaísmo é monoteísta ou não, então o judaísmo não é monoteísta.
Não é uma tautologia: (A ∨ ¬A) → ¬A