Buscar

Exercícios de Resolução

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Prévia do material em texto

EXERCÍCIOS DE RESOLUÇÃO 
1) 
a) “O participante vai ao paredão se o líder o indica ou os colegas o escolhem. Se o 
participante vai ao paredão e chora, então ele conquista o público. Se o participante 
conquista o público, ele não é eliminado. O líder indicou um participante e ele foi 
eliminado. Logo, o participante não chorou.” 
 
b) “Ela não está em casa ou não está atendendo ao telefone. Mas, se ela não está em 
casa, então ela foi sequestrada. E se ela não está atendendo ao telefone, ela está 
correndo algum outro perigo. Portanto, ou ela foi sequestrada ou ela está correndo um 
outro perigo.” 
 
c) “Se Ricardo prestou atenção na aula e fez os exercícios propostos, então ele se dará 
bem na mini-prova. Se Ricardo tiver feito os exercícios propostos, então ele prestou 
atenção na aula. Ricardo fez todos os exercícios propostos. Logo, Ricardo se dará bem 
na mini-prova.” 
 
2) Passe para a Forma Norma Conjuntiva: 
 (A -> (B v C)) ^ (¬(C v ¬D) ^ ¬(B ^ E)) ^ ((C -> E) -> ¬A) 
3) Tente mostrar, usando resolução, que para as seguintes proposições, F2 é uma 
implicação lógica de F1. 
 
F1 Se o criminoso tinha um cúmplice, então ele veio em um carro. O criminoso 
não tinha cúmplice e não tinha a chave, ou ele tinha a chave e cúmplice. O criminoso 
tinha a chave. 
F2 O criminoso chegou em um carro. 
 
4) Prove por Resolução: 
 
a) {(P -> Q) v (Q v R), (¬Q -> ¬P) -> R, ¬R -> ¬(Q v R)} ⊨ R 
b) (P ^ Q ^ ((P ^ R) -> ¬P1 ) ^ (Q1 -> R) ^ (Q -> Q1) ) -> ¬P1 
c) ((P -> (R -> Q)) ^ (P -> R)) -> (P -> Q)

Outros materiais