Fonte: Fonte: https://www.youtube.com/watch?v=EmIGLGUO7cY

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.