O que é Lógica Matemática?

Introdução à Lógica Matemática
Professor Maurício Carvalho
O que é Lógica Matemática?
Descrição:
A lógica é a ferramenta utilizada para sustentar as argumentações matemáticas. Mas o que é a lógica matemática? Para responder a esta pergunta, falaremos da diferença entre a "lógica formal" e a "lógica informal", evidenciando a necessidade desta ferramenta não dar margem a dúvida.
Acesse mais videoaulas e todo o material do Portal da Matemática em matematica.obme...
Os direitos sobre todo o material deste canal pertencem ao Instituto de Matemática Pura e Aplicada, sendo vedada a utilização total ou parcial do conteúdo sem autorização prévia e por escrito do referido titular, salvo nas hipóteses previstas na legislação vigente.
The rights over all the material in this channel belong to the Instituto de Matemática Pura e Aplicada, and it is forbidden to use all or part of it without prior written authorization from the above mentioned holder, except in the cases prescribed in the current legislation.