Baixe o app para aproveitar ainda mais
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)
Compartilhar