SINOPSE DO CASE: Aplicao do raciocnio lgico para os problemas do cotidiano Nilson Roniery da Silva Vieira

Paulo Jos Melo Gomes Corra DESCRICO DO CASO: Quando fala-se de lgica vem a cabea a seguinte pergunta: O que lgica? Segundo Mendelson, lgica a anlise de mtodos de raciocnio (Mendelson, 1987 apud Souza, 2002). A partir dessa afirmao podemos definir ento que lgica pode ser citada por argumentos sendo eles verdadeiros ou falsos. Marilena Chau, 2002, disse que: Lgica: conhecimento das formas gerais e regras gerais do pensamento correto e verdadeiro, independentemente dos contedos pensados; regras para a demonstrao cientfica verdadeira; regras para pensamentos no-cientficos; regras sobre o modo de expor os conhecimentos; regras para a verificao da verdade ou falsidade de um pensamento, etc.; Marilena exalta que todo pensamento lgico independente de contedo, o que nos faz acreditar que de nossos pensamentos s podemos ter duas alternativas, verdade e falsidade. Contando com esse conceito iniciar-se- o case de lgica, onde iro ser abordadas situaes que podero ser resolvidas com a tabela verdade. O case traz consigo a ideia de aplicao do raciocnio lgico como soluo de problemas do cotidiano com a seguinte situao: "Pedro e Paulo so alunos da UNDB, ambos no segundo perodo de seus respectivos cursos. Os dois fizeram as disciplinas pr-requisito de seus respectivos cursos no 1 perodo. A disciplina subsequente para ambos os alunos Algoritmos e Programao." A partir da argumentao acima, definir UMA UNICA condio, entre as listadas a seguir, que possibilite aos dois alunos se matricularem na disciplina de Algoritmos e Programao de seus respectivos cursos: 1 Pedro j completou sessenta crditos e estudante regular matriculado do Curso de Sistemas de Informao E Paulo um estudante do curso de engenharia civil e no tem o consentimento da coordenao de seu curso. 2 Paulo no um aluno regular e j completou sessenta crditos ou Pedro no um aluno regular e j completou sessenta crditos. 3 Pedro no tem o consentimento da coordenao de seu curso ou Paulo no tem o consentimento da coordenao do seu curso. 4 Paulo tem o consentimento da coordenao do curso e Pedro tem sessenta crditos e esta regular matriculado no seu curso. 5 Pedro tem o consentimento da coordenao e no regular ou Paulo regular matriculado no curso e tem o consentimento da sua coordenao do curso.

6 Se Paulo est regular matriculado no curso, ento Pedro no tem o consentimento da coordenao. RESOLUO DO CASO: Proposies Propostas: p = Pedro j completou sessenta crditos; q = Pedro estudante de Sistemas de Informao; r = Paulo e estudante de Engenharia Civil; s = Paulo tem o consentimento da coordenao do curso; t = Pedro tem o consentimento da coordenao do curso; u = Paulo j possui sessenta crditos; Estruturando com a Tabela verdade: Questo 1: Pedro j completou sessenta crditos e estudante regular matriculado do Curso de Sistemas de Informao E Paulo um estudante do curso de engenharia civil e no tem o consentimento da coordenao de seu curso. Organizao e tabela: (p ^ q) ^ (r ^ ~s)
p V V V V V V V V F F F F F F F F q V V V V F F F F V V V V F F F F r V V F F V V F F V V F F V V F F s V F V F V F V F V F V F V F V F ~s F V F V F V F V F V F V F V F V (p^q) V V V V F F F F F F F F F F F F (r^~s) (p^q)^(r^~s) F F V V F F F F F F V F F F F F F F V F F F F F F F V F F F F F

Com base na tabela verdade conclu-se que a proposio possui valor lgico falso, logo no a soluo. Questo 2: Paulo no um aluno regular e j completou sessenta crditos ou Pedro no um aluno

regular e j completou sessenta crditos. Organizao e Tabela: (~r ^ u) v (~q ^ p)

p V V V V V V V V F F F F F F F F q V V V V F F F F V V V V F F F F r V V F F V V F F V V F F V V F F u V F V F V F V F V F V F V F V F ~q F F F F V V V V F F F F V V V V ~r F F V V F F V V F F V V F F V V (~r^u) F F V F F F V F F F V F F F V F (~q^p) (~r ^ u) v (~q ^ p) F F F F F V F F V V V V V V V V F F F F F V F F F F F F F V F F