Segundo Irving Copi, a lógica é a ciência que nos provê de métodos e procedimentos para distinguir os argumentos válidos dos não válidos.

 

No âmbito da programação de computadores, a lógica de programação estabelece a seqüência de ações que o computador deverá executar para a resolução de um problema.

Em outras palavras, a lógica de programação é a técnica (método) de declarar instruções (argumentos) para o computador atingir determinado objetivo.