Lógica Matemática

Lógica Matemática

A lógica matemática é a disciplina que lida com os métodos de raciocínio. Em um nível básico, a lógica fornece regras e técnicas para determinar se ou não um determinado argumento é válido. Raciocínio lógico é usado para provar teoremas em matemática, em ciências da computação para verificar se os programas correto, nas ciências naturais e físicas, para tirar conclusões a partir de experimentos, e nas ciências sociais e na vida cotidiana, para resolver um grande número de problemas. A lógica matemática é feita pelo raciocínio. É também o conjunto de estudos que visam a expressar em signos matemáticos as estruturas e operações do pensamento, deduzindo-as de um pequeno número de axiomas, com propósito de criar uma linguagem rigorosa, adequada ao pensamento científico, da qual estejam afastadas as ambiguidades próprias da linguagem comum. Fundamenta-se na construção de sistemas formais, ou seja, modelos, para cuja definição se anunciam certos axiomas (conceitos básicos) e métodos de dedução ou demonstração. O dia a dia de um ser humano é regido por uma seqüência de Lógica Matemática e da Semântica. Atualmente o mercado de trabalho exige profissionais pró-ativos com apurado raciocínio lógico; e premia aqueles que desenvolvem essa competência. Concursos públicos e vestibulares exigem isso dos candidatos nas provas de matemática e interpretação de textos. A matemática necessita da lógica para suas definições, postulados, além de ser fundamental para julgar se um teorema é verdadeiro ou falso, e a partir disso tirara outras conclusões, propor outras conjecturas, provar outros teoremas. A lógica matemática, que é também conhecida por lógica formal proposicional, pode auxiliar no discurso de linguagem, assim como o discurso da linguagem pode auxiliar no desenvolvimento lógico-matemático. O raciocínio lógico-matemático auxilia na compreensão e coerência de textos, evitando assim os problemas de ambiguidade na interpretação e coerência de textos,