Lógica matemática

professor jose fabiano de araujo olviera [e-mail] Percebemos pelas definies apresentadas que a Lgica estuda as leis gerais do pensamento e as diferentes maneiras de aplicar corretamente essas leis na investigao da verdade. Em outras palavras, posso dizer que a Lgica a cincia dos argumentos, ou seja, ela trata das concluses a que chegamos a partir das evidncias que as sustentam. De maneira mais geral, possvel dizer que a Lgica o estudo do raciocnio (DOTAVIANO FEITOSA, 2003). A Lgica teve seu incio com Aristteles, no sculo IV a.C., como uma cincia dedicada ao estudo dos atos do pensamento a partir de sua estrutura ou forma lgica, sem levar em considerao qualquer contedo material (FONTES, 2008). Em termos mais simples, diz formas de raciocnio atravs das quais seria possvel a obteno de novos conhecimentos a partir de conhecimentos j existentes e que fossem considerados verdadeiros. o chamado mtodo dedutivo ou, simplesmente, deduo. A maior revoluo sofrida pela lgica ocorreu em meados do sculo XIX, quando estudiosos como Boole converteu a lgica em lgebra. Tendo a matemtica como modelo, eles formalizaram uma linguagem simblica para expressar o pensamento lgico. Foi o surgimento da lgica matemtica ou simblica. A partir de ento a lgica passa a ser vista como clculo matemtico o que revolucionou o mundo com estas mudanas e abriu novos horizontes para o desenvolvimento lgica matemtica o que permitiu determinar o valor lgico de uma expresso na lgica proposicional Verificar se argumento sentencial vlido Manipular tabelas-verdade Verificar se uma sentena tautologia1, contradio ou contingncia Utilizar a lgica de predicados para representar sentenas Determinar o valor lgico de alguma interpretao de uma expresso na lgica de predicados Utilizar o mtodo dedutivo para demonstrar a validade de argumentos na lgica proposicional e na lgica de predicados. O conceito de preposio o primeiro conceito que preciso dominar