1.3 Lógica de programação

Os conectivos lógicos e, ou e não (ou, mais comumente, seus equivalentes em inglês AND, OR e NOT) são usados na programação de computadores e combinados entre si, sendo as tabelas-verdade que decidem o resultado de sua combinação.

A Lógica de programação é responsável por garantir nossa compreensão das linguagens e das ferramentas de programação.

A Lógica de programação organiza de forma metódica o pensar de quem se preocupa com a atividade do raciocínio.

A Lógica de programação é a arte do bem pensar.