O presente dicionário apresenta ao leitor um glossário de conceitos usados em lógica formal e princípios matemáticos. As definições que nele figuram constam dos rudimentos da lógica, numa obra destinada a ser um guia de consulta, para quem estuda os diversos ramos desta disciplina.