Imprimir este capítuloImprimir este capítulo

Livro didático 2 da disciplina

2. Noções de lógica matemática

Noções de lógica matemática

 

Além de servir largamente à computação, os elementos de lógica matemática norteiam todo o raciocínio dedutivo matemático, no sentido de demonstrar, formal e cabalmente, os resultados que precisamos e procuramos para explicar o maior número possível de elementos lógicos e abstratos através da linguagem matemática.

Com isto, é muito importante  entender o que exatamente são as proposições e seus derivados, pois são estas proposições que permitirão (e você vai compreender isto com o tempo) avançar com o conhecimento matemático epistemologicamente falando.

Enunciaremos, ao longo do curso, muitas implicações e equivalências matemáticas. Mas o que exatamente são estes dois elementos? Clicando no endereço fonte da imagem, você aprenderá uma maneira de gravar esta tabela verdade padrão.

Neste primeiro capítulo, você vai estudar:

  • proposições (definição, exemplos e valores lógicos);
  • conectivos (composição de proposições);
  • implicação e equivalência lógica 
  • negações lógicas
  • quantificadores lógicos.
 

Leitura obrigatória

Clique aqui para ler o material sobre lógica matemática.

GABARITO EXERCÍCIOS PROPOSTOS

Acompanhe o vídeo que mostra um pouco mais sobre a lógica e sua importância na matemática.

Em seguida, veja o vídeo que mostra como se construir tabelas verdade.

Continuando, o próximo vídeo fala de negações lógicas. Vamos utilizar muito delas na matemática!