O documento introduz os principais conceitos de lógica e lógica de programação. Em particular, define o que é lógica, explora os princípios da lógica clássica e diferentes tipos de lógicas. Também define o que é lógica de programação e conceitos-chave como operadores lógicos, algoritmos e fluxogramas.