O documento apresenta uma introdução aos conceitos básicos de lógica de programação, incluindo: (1) a definição de lógica para a filosofia e computação, (2) os tipos de raciocínio lógico como dedutivo e indutivo, (3) variáveis, constantes, algoritmos e fluxogramas como elementos essenciais da lógica de programação.