Unisul Universidade do Sul de Santa Catarina Curso de Sistemas de Informao Lgica e lgebra de Boole Trabalho 02 (data de entrega: 27 de abril

l de 2009 em aula) Nome(s):............................................................................................................. 1) Sejam as proposies p: Pedro tem boca e q: Pedro vai Roma, e as premissas se Pedro tem boca ento vai Roma e Pedro tem boca, teste a validade da concluso se e somente se Pedro tem boca vai a Roma. 2) Sejam as proposies est chovendo e levo guarda-chuva. a)Considerando a premissa se est chovendo, levo guarda-chuva e est chovendo, estas implicam na concluso levo guarda-chuva? b)Considerando a premissa se est chovendo, levo guarda-chuva e levo guardachuva, estas implicam na concluso est chovendo? 3) Sejam as proposies x: alunos jogam truco, y: alunos tem bom raciocnio, w: alunos tem problema de ateno. z: alunos realizam exerccios de lgica, escreva as proposies para as seguintes sentenas verbais: (a) Se alunos jogam truco e realizam exerccios de lgica, tem bom raciocnio. (b) No verdade que alunos que jogam truco tem problema de ateno. (c) No verdade que: alunos tem bom raciocnio e no tem problema de ateno se jogam truco. (d) Alunos que jogam truco e que no tem problema de ateno se e somente se tem bom raciocnio. 4) Tendo por base as proposies vistas no exerccio anterior, escreva de maneira corrente as seguintes proposies: a) (z x) y b) (y z) w c) (x y) 5) Ainda tendo por base as proposies do exerccio 3, teste a validade do argumento para as alternativas (a), (b), (c), ou seja, considere como premissas as alternativas a e b do exerccio 3 e verifique se estas implicam na alternativa c. 6) Prove atravs de Tabelas-verdade se as seguintes expresses se verificam: a) p q + r p q + r b) (p q) (p r) (p q) r