logic, lógica
Na programação, as assertivas, pressupostos e operações que definem o que determinado programa fará. A definição da lógica dos programas é, quase sempre, o primeiro passo no desenvolvimento do código-fonte. Ver também formal logic (lógica formal).