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 http://matematica.obmep.org.br  
 
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.

Видео O que é Lógica Matemática? канала Portal da Matemática OBMEP