A lógica de programação nada mais é do que a organização coerente das instruções do programa para que seu objetivo seja alcançado.

Esse é o grande desafio do programador: montar a estrutura do programa para ser executado pelo computador. É preciso partir do princípio que o computador não pensa da mesma forma que nós e não é inteligente para saber o que precisa ser feito, nem compreender as mensagens subjetivas. Dessa forma organizar as informações de forma clara e na ordem adequada é primordial para que a ação seja executada corretamente.

Os mapas mentais procuram representar, com o máximo de detalhes possíveis, o relacionamento conceitual existente entre informações que normalmente estão fragmentadas, difusas e pulverizadas no ambiente operacional ou corporativo. Trata-se de uma ferramenta para ilustrar ideias e conceitos, dar-lhes forma e contexto, traçar os relacionamentos de causa, efeito, simetria e/ou similaridade que existem entre elas e torná-las mais palpáveis e mensuráveis, sobre os quais se possa planejar ações e estratégias para alcançar objetivos específicos.

Em lógica, as proposições representam pensamentos completos e indicam afirmações de fatos ou ideias.

Utiliza-se a tabela verdade em proposições compostas, ou seja, sentenças formadas por proposições simples, sendo que o resultado do valor lógico depende apenas do valor de cada proposição.