Lógica Matemática do zero

A Lógica Matemática é uma disciplina fundamental que estuda os princípios e métodos para raciocinar de forma rigorosa e precisa. Ela forma a base da matemática, mas suas aplicações vão muito além, estendendo-se para diversas áreas, como ciência da computação, filosofia, linguística, direito, inteligência artificial e até mesmo na construção de argumentações e soluções lógicas no dia a dia.

Importância:

Estudar Lógica Matemática desenvolve o pensamento crítico e analítico, permitindo que problemas sejam resolvidos de forma clara e eficiente. Além disso, ela ensina a estruturar argumentos e identificar falácias, o que é essencial em diversas áreas do conhecimento e da prática profissional.

Principais áreas beneficiadas:

1. Ciência da Computação: A lógica é a base da programação, algoritmos e inteligência artificial. Muitos conceitos de linguagens de programação derivam diretamente da lógica formal.

2. Inteligência Artificial: A IA utiliza lógica para modelar o raciocínio humano, tomar decisões e resolver problemas complexos.

3. Matemática: A lógica formaliza a base dos teoremas e provas matemáticas, ajudando a estabelecer fundamentos sólidos e corretos.

4. Direito e Filosofia: Argumentação lógica é essencial na construção de discursos, leis e regras de raciocínio moral e ético.

5. Linguística: Lógica ajuda na compreensão das estruturas gramaticais e na formalização do significado das sentenças em linguagens naturais.

A proposta desse curso é fornecer uma boa base de Lógica Matemática para os participantes, de modo que possa ajudá-los, tanto na preparação para o aprendizado da programação, quanto em concursos e as próprias cadeiras de lógica da faculdade.

Conteúdo programático:

• Lógica formal, lógica simbólica e lógica proposicional.

• Quantificadores e os conectivos lógicos.

• Falaremos sobre tabela verdade e dicas de como montar uma tabela verdade.

• Leis de Morgan, tautologia, contradição, contingência, equivalência básica, equivalência condicional e suas propriedades.

• Também será coberto simplificação de proposição e alguns exercícios.